Plausibly it would be better if when you did a ] or
ctrl-T, the font (and size and other text properties)
would be taken not from the Options dialog (as
currently) but rather from the textually most recent
bit of non-T text. I.e. should scan back from the
insertion cursor to find the first non-T character and
format the next non-T text that way
Log in to post a comment.