Not sure if a new preference would be overkill for this. I introduced a new default number for context lines for now. If we decide to introduce a pref for this, I'd suggest to do this in an additional commit.