dear developers, Sorry for the nonsense keystrokes. The error is caused by some menu operation, so there's no keystrokes... What I tried is: Option -> fontsize -> 12