Re: Two Spaces at the End of an Inset

2018-07-02 Thread Jean-Marc Lasgouttes
Le 02/07/2018 à 15:53, Daniel a écrit : On 26/06/2018 05:46, 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

Re: Two Spaces at the End of an Inset

2018-07-02 Thread Daniel
On 26/06/2018 05:46, 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. T

Re: Two Spaces at the End of an Inset

2018-06-26 Thread Jean-Marc Lasgouttes
Le 26/06/2018 à 05:46, Richard Kimberly Heck a écrit : 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 inse

Re: Two Spaces at the End of an Inset

2018-06-26 Thread José Matos
I agree. 😀 On June 26, 2018 5:41:23 AM GMT+01:00, Scott Kostyshak wrote: >On Tue, Jun 26, 2018 at 03:46:02AM +, 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 enclos

Re: Two Spaces at the End of an Inset

2018-06-25 Thread Scott Kostyshak
On Tue, Jun 26, 2018 at 03:46:02AM +, 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 s

Two Spaces at the End of an Inset

2018-06-25 Thread Richard Kimberly Heck
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