JupyterLab settings

[Milos Miljkovic]

Hiya,

Currently, JupyterLab has 'Settings' menu, which opens 'Settings' tab with 3 categories: CodeMirror, Keyboard Shortcuts, and Text Editor.

CodeMirror settings have entries for theme (JSON-like) and keyMap and theme, while Text Editor has CodeMirror-like entries for autoClosingBrackets, lineNumbers, lineWrap, matchBrackets.

It is a bit confusing, but I assume that CodeMirror is a base for both editor and notebook cells' code.

Also, I see there's in the GitHub repo an extension for JL dark theme, but I don't see a way to change the theme in JL itself.

Cheers,

Milos.

[Steven Silvester]

Hi Milos,

We have an abstract interface for a code editor, and a concrete implementation that uses CodeMirror.  Key map and theme are currently the only two settings that are CodeMirror specific.  Additionally, these settings are only used by the file editor extension, and not the notebook.  Agreed that we need to continue to refine the usability around this.

In the 0.27 release of JupyterLab, the theme can be changed in the settings editor by selecting the themes and changing the theme to either "JupyterLab Light" or "JupyterLab Dark".  

Regards,

Steve

[Milos Miljkovic]

Hi Steve,

Thank you very much for the reply and clarifications. Got 0.27 from conda-forge and it looks good. Keep hammering on UI/UX!

Cheers,

Milos.