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 On Friday, August 25, 2017 at 11:53:10 AM UTC-4, Milos Miljkovic wrote: > > 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. > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/8f62ddf0-cc21-492a-a019-0d9e6bda78d5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
