On Sat, Oct 22, 2016 at 7:55 AM, racoon <xraco...@gmx.de> wrote: > > > The benefit of removing (or almost removing) space around insets is to > make sure it is not mistaken for a "real" space. Since many insets are > working just like characters it seems reasonable to make the spacing around > them similar. >
I see, fair enough. > Yes, the selecting is already a bit tricky. But maybe that can be fixed as > well... > Yes, please make sure this is sufficiently handled before being released. As a user of a 4K monitor at work and 5K at home: making things more narrow / pixel-measured concerns me. If OS X builds can be made available, I'd be happy to help test / provide feedback. Thanks for taking an active development role lately on such varied items. It's great to see! My hope is that once I complete my degree I can do the same.
