Has anyone faced the similar issue? In Jupyter Lab when i’m trying to increase the text editor font size via Settings → “Increase text editor font size” nothing happens (same for decrease). What could be the workarounds?
