screenshot of the problem
The width sizing of the editor seems somewhat fixed and isn't responding as expected when zooming in the browser.
Version: master
Severity: normal
Attached:
screenshot of the problem
The width sizing of the editor seems somewhat fixed and isn't responding as expected when zooming in the browser.
Version: master
Severity: normal
Attached:
Scrollbars in CodeEditor ui seem to be of fixed size (20px) in Safari Mac, but it seems that in Mac OS X, the scrollbars are not influenced by zooming. This needs to be fixed upstream.