I agree. 😀

On June 26, 2018 5:41:23 AM GMT+01:00, Scott Kostyshak <skost...@lyx.org> wrote:
>On Tue, Jun 26, 2018 at 03:46:02AM +0000, Richard Kimberly Heck wrote:
>> The following feels `intuitive' to me: At the end of an
>> InsetCollapsable, press the space bar twice to exit the inset and
>return
>> to the enclosing one. The first space is a real space, but the next
>one
>> would remove that space and exit the inset.
>> 
>> Thoughts? Better yet, code? I'm afraid I have no idea how to do that.
>
>Makes sense and using space to exit an inset is consistent with math.
>
>Scott

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

Reply via email to