Closed bkidwell closed 7 years ago
I noticed in on Feb 21, 2015 you added a CodeMirror setting
cm.setOption('scrollbarStyle', 'overlay');
causing CodeMirror to use the 'overlay' scrollbar style instead of the default 'native'.
I much prefer to use the 'native' scrollbars. Can we have an option on the DokuWiki Configuration screen to provide this?
Attached is my patch to add it as an option and use the right CodeMirror option at run-time.
Thanks!
I noticed in on Feb 21, 2015 you added a CodeMirror setting
causing CodeMirror to use the 'overlay' scrollbar style instead of the default 'native'.
I much prefer to use the 'native' scrollbars. Can we have an option on the DokuWiki Configuration screen to provide this?
Attached is my patch to add it as an option and use the right CodeMirror option at run-time.