Fix changing font size in text editor

[FoSuCloud]

References

Fixes: https://github.com/jupyterlab/jupyterlab/issues/16182

Code changes

packages/fileeditor-extension/src/commands.ts

User-facing changes

no

Backwards-incompatible changes

no

[jupyterlab-probot[bot]]

Thanks for making a pull request to jupyterlab! To try out this branch on binder, follow this link:

[FoSuCloud]

Thanks @FoSuCloud

I spotted a small glitch that the gutter line number is not updated right away when changing the font size; example when increasing the font size

CodeMirror does update the font size of the gutter if I switch back and forth to the file editor. I guess forcing an update after updating the font size may smooth the user experience.

Thanks for knowing the problem, I will force update the number of lines after updating the font size

[FoSuCloud]

It seems that the "should Decrease Content Font Size" and "should Increase Content Font Size" test cases failing have nothing to do with the pr here

[krassowski]

@meeseeksdev please backport to 4.1.x