Re: Closing views versus closing buffers

2012-09-17 Thread Pavel Sanda
Tommaso Cucinotta wrote: >> Few technical things: >> - lfun naming should be object-operation, not operation-object > > I was "inspired" by close-tab-group, which could be renamed as > tab-group-close, to respect this convention. Feel free to fix it (cf. "NAMING RULES FOR USER-COMMANDS" in lyxact

Re: lyx.org is down

2012-09-17 Thread Richard Heck
On 09/16/2012 02:05 PM, Scott Kostyshak wrote: lyx.org is down. It seems to have rebooted again. I'm afraid I'm out of ideas about what might be happening, or how to figure it out. Richard

Re: Closing views versus closing buffers

2012-09-17 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 17/09/12 11:41, Jürgen Spitzmüller wrote: > Rainer M Krug wrote: >> OK - this makes sense, but why not close the master if one is working only >> in the child >> document? > > Because this would close the master and all its children. And I want to

Re: Closing views versus closing buffers

2012-09-17 Thread Jürgen Spitzmüller
Rainer M Krug wrote: > OK - this makes sense, but why not close the master if one is working only > in the child document? Because this would close the master and all its children. And I want to keep the master buffer active (to use master-buffer-view, for instance). Jürgen

Re: Closing views versus closing buffers

2012-09-17 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 17/09/12 10:10, Jürgen Spitzmüller wrote: > Rainer M Krug wrote: >> But anyway: is there a real use-case or need for the hide function? > > Yes: You work with a multi-part document, and you want to hide the master. OK - this makes sense, but why n

Re: Closing views versus closing buffers

2012-09-17 Thread Jean-Marc Lasgouttes
Le 17/09/2012 08:55, Tommaso Cucinotta a écrit : On 16/09/12 14:19, Pavel Sanda wrote: No strong opinion about the change itself. Few technical things: - lfun naming should be object-operation, not operation-object I was "inspired" by close-tab-group, which could be renamed as tab-group-close

Re: Re: Closing views versus closing buffers

2012-09-17 Thread Kornel Benko
Am Montag, 17. September 2012 um 08:00:32, schrieb Tommaso Cucinotta > On 16/09/12 16:55, Pavel Sanda wrote: > > Kornel Benko wrote: > >> What I would like is hiding even if it were the last WA. > > So we are at the usual problem that everyone has different opinion how the > > UI should work :)

Re: Closing views versus closing buffers

2012-09-17 Thread Jürgen Spitzmüller
Rainer M Krug wrote: > But anyway: is there a real use-case or need for the hide function? Yes: You work with a multi-part document, and you want to hide the master. Jürgen

Re: [patch] constify

2012-09-17 Thread Scott Kostyshak
On Sun, Sep 16, 2012 at 8:36 AM, Pavel Sanda wrote: > Scott Kostyshak wrote: >> I do not think that the other changes in the patch are contrary to the >> current style. I made them with the same thought as what Richard has: > > I trust your decision, go on. It's in. Thanks, Scott

Re: Closing views versus closing buffers

2012-09-17 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 16/09/12 15:05, Pavel Sanda wrote: > Tommaso Cucinotta wrote: >> Also, I just noticed that the "Close Tab" action available when >> right-clicking on a tab name, >> actually closes the buffer, along with all tabs in any view possibly >> associated

Re: Closing views versus closing buffers

2012-09-17 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 16/09/12 14:55, Pavel Sanda wrote: > Tommaso Cucinotta wrote: >> On 13/09/12 01:07, Pavel Sanda wrote: >>> Richard Heck wrote: > Shouldn't we close the view only, >>> I thought thats why we have "hide" function distinguished from close. >> >> T

Re: Closing views versus closing buffers

2012-09-17 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 15/09/12 12:26, Tommaso Cucinotta wrote: > On 13/09/12 10:29, Rainer M Krug wrote: > >> What about a popup box, asking: >> >> - Do you want to close All windows / views of this document >> or only this >> one? >> >> All / Only T

Re: Closing views versus closing buffers

2012-09-17 Thread Tommaso Cucinotta
On 16/09/12 16:55, Pavel Sanda wrote: Kornel Benko wrote: What I would like is hiding even if it were the last WA. So we are at the usual problem that everyone has different opinion how the UI should work :) P However, this might be fixable as someone suggested in a prior message: close the