If you increase font size with a keyboard shortcut and then execute

Code: Select all

echo -en '\e]50;CursorShape=1\x7'

, the font goes back to the original size. That seems like a minor thing, but this is escape sequence is used before and after every command if you use fish shell and vi mode, which make it impossible to temporarily change font size (useful if you share your screen).

Am I right to call this a bug?

I looked into source code, and the problem seems to be that escape sequences modify font in one place(profile), but the keyboard shortcut modifies it in another object (TerminalDisplay). If you change the profile object with an escape sequence, it will pick the unchanged font in profile and overwrite the changed font in TerminalDisplay. A simple solution would be to make the shortcuts modify font in profile, as it happens if you modify font size with an escape sequence. Would that be ok?