tophf 92ab165192 don't restore size of editor window if it has many tabs ... previously it happened occasionally on browser startup resulting in unwanted resizing of the main browser window		2017-08-18 17:09:02 +03:00
..
edit.css	editor: CM scroller height fix for resize-grip (fixup b45f51f1)	2017-08-09 16:56:39 +03:00
edit.js	don't restore size of editor window if it has many tabs	2017-08-18 17:09:02 +03:00