Editor Miscalculates Spacing after zoom / wrong font metrics? #10
Description
On Windows 10, IDE 1.8.5, US keyboard, the editor starts miscalculating spacing.
It has something to do with zooming using Ctrl-Scroll wheel on mouse. To re-create, open a multiple-file project and visit each tab, spacing is fine. Now zoom the content of one tab bigger, and it looks fine, but when you switch to another tab it seems to be using the bigger zoom factor or font, but with its original font metrics and layout.
Re-zooming the current tab is a work-around.
