On Thu, Jul 19, 2018 at 4:28 PM, Jean-Marc Lasgouttes <lasgout...@lyx.org> wrote: > > Please try it out. If people like it, it can be backported. > > JMarc
I tried this and though I didn't experiment extensively (or try to break it), I really like it on its first impression. Good addition. Thanks, Joel