On 22.10.2016 15:59, Joel Kulesza wrote:
On Sat, Oct 22, 2016 at 7:55 AM, racoon <xraco...@gmx.de <mailto: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.
Yes, selecting an inset with the mouse is generally cumbersome. One question: would it be helpful if one could choose copy, paste, delete, etc. from the inset button's context menu?
