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. On Monday, August 28, 2017 at 3:25:03 PM UTC-4, Steven Silvester wrote: > > 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/5446c10d-d13f-4d89-8f35-0fd3218a48c1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
