And if by "files cached" you are referring to the notebook itself, my example was a new notebook.
On Thursday, December 29, 2016 at 1:59:37 PM UTC-5, Damon Allen wrote: > > > <https://lh3.googleusercontent.com/-hcHpOJ2rrzg/WGVdAY4fM-I/AAAAAAAAEUs/EFR4RvoDz_0OOUmGnKHZmHuK7WOFf2ecQCLcB/s1600/Image_Selection_021.png> > I have notebook server version 4.3.1. > > > > On Thursday, December 29, 2016 at 1:51:27 PM UTC-5, Matthias Bussonnier > wrote: >> >> This has been fixed in https://github.com/jupyter/notebook/pull/1764, so >> you need notebook server version 4.3 or above to have it. And make sure the >> files are not cached. >> >> See the `Help > About` Menu in the notebook to see the version. If you >> can't upgrade we can figure out how to hack our way around that and >> monkeypatch the javascript. >> >> -- >> M >> >> >> >> On Thu, Dec 29, 2016 at 6:07 PM, Damon Allen <[email protected]> wrote: >> >>> >>> >>> On Thursday, December 29, 2016 at 12:00:56 PM UTC-5, Milos Miljkovic >>> wrote: >>>> >>>> Can you post a screenshot of messed up syntax highlighting? I'm on >>>> Xubuntu 14.04.5 and using google-chrome-beta from Google repo. >>>> >>>> >>> <https://lh3.googleusercontent.com/-oLtJcPfbSXA/WGVCvGQsnFI/AAAAAAAAEUc/WWl7N8rRr7chBiRc3I_rb3GtBPdD4VNQQCLcB/s1600/Image_Selection_019.png> >>> >>> >>> >>> -- >>> 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/b7970acb-b46a-42f0-a1b6-032e7f17b5a2%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/jupyter/b7970acb-b46a-42f0-a1b6-032e7f17b5a2%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >>> For more options, visit https://groups.google.com/d/optout. >>> >> >> -- 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/d71e5865-18d7-4e98-ac41-5a3e735450d4%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
