clipka <ano### [at] anonymousorg> wrote:
> Try the "Options"/"Editor Window"/"Editor Preferences..." menu instead.
I did that.
However, the problem seems to have resolved spontaneously. I don't know what
happened or what I did right, but it's behaving now.