Odd-sized Halion editor window

That certainly reduces the window surrounding the (smaller) HALion screen, which I like. Now, if I could just manage to shrink the Dorico screen elements in a similar way, that would be a fantastic way to show more music and smaller side & top panels on a full-screen window.