Re: Source view window

2013-05-07 Thread Jean-Marc Lasgouttes
Le 07/05/13 06:13, Pavel Sanda a écrit : Jean-Marc Lasgouttes wrote: What about this different logic instead? It relies on the size/height of the window, not on the dock position. No strong preference here. P The advantage is that it also does something reasonable when the widget is not doc

Re: Source view window

2013-05-06 Thread Pavel Sanda
Jean-Marc Lasgouttes wrote: > What about this different logic instead? It relies on the size/height of > the window, not on the dock position. No strong preference here. P

Re: Source view window

2013-05-06 Thread Jean-Marc Lasgouttes
Le 05/05/13 12:01, Pavel Sanda a écrit : Edwin Leuven wrote: On May 5, 2013, at 08:22 , Pavel Sanda wrote: Pavel Sanda wrote: There are still quirks with not enough minimum size. I finally solved those too, fixed few typos and it's now in. could also go into branch i suppose? Not so sur

Re: Source view window

2013-05-05 Thread Pavel Sanda
Edwin Leuven wrote: > no i use 4.8.4 > > in the patch i send, i used QHBoxLayout (which inherits from QBoxLayout) and > that worked fine for me? okok :) the fact that editing .ui file in vim took me shorter time than finding how to setup QHBoxLayout in designer suggest that i should keep respec

Re: Source view window

2013-05-05 Thread Edwin Leuven
On 05/05/2013 06:01 AM, Pavel Sanda wrote: > Edwin Leuven wrote: >> On May 5, 2013, at 08:22 , Pavel Sanda wrote: >>> Pavel Sanda wrote: There are still quirks with not enough minimum size. >>> I finally solved those too, fixed few typos and it's now in. >> could also go into branch i suppose

Re: Source view window

2013-05-05 Thread Richard Heck
On 05/05/2013 06:01 AM, Pavel Sanda wrote: Edwin Leuven wrote: On May 5, 2013, at 08:22 , Pavel Sanda wrote: Pavel Sanda wrote: There are still quirks with not enough minimum size. I finally solved those too, fixed few typos and it's now in. could also go into branch i suppose? Not so sure

Re: Source view window

2013-05-05 Thread Tommaso Cucinotta
On 04/05/13 19:19, Pavel Sanda wrote: >> Would it be difficult to add a small button to the paned window buttons, >> that allows for showing/hiding the extra features ? > Where do you want to put the 'hide' button without adding next row? The idea was to add it to the "paned window buttons", whi

Re: Source view window

2013-05-05 Thread Pavel Sanda
Edwin Leuven wrote: > On May 5, 2013, at 08:22 , Pavel Sanda wrote: > > Pavel Sanda wrote: > >> There are still quirks with not enough minimum size. > > > > I finally solved those too, fixed few typos and it's now in. > > could also go into branch i suppose? Not so sure, I had to do nasty thin

Re: Source view window

2013-05-05 Thread Edwin Leuven
On May 5, 2013, at 08:22 , Pavel Sanda wrote: > Pavel Sanda wrote: >> There are still quirks with not enough minimum size. > > I finally solved those too, fixed few typos and it's now in. could also go into branch i suppose… ed.

Re: Source view window

2013-05-04 Thread Pavel Sanda
Pavel Sanda wrote: > There are still quirks with not enough minimum size. I finally solved those too, fixed few typos and it's now in. P

Re: Source view window

2013-05-04 Thread Pavel Sanda
Pavel Sanda wrote: > > like in attached > > > > patching file src/frontends/qt4/GuiViewSource.cpp > patching file src/frontends/qt4/GuiViewSource.h > patching file src/frontends/qt4/ui/ViewSourceUi.ui > Hunk #1 FAILED at 1. > Hunk #2 FAILED at 111. > 2 out of 2 hunks FAILED -- saving rejects to f

Re: Source view window

2013-05-04 Thread Pavel Sanda
Edwin Leuven wrote: > On May 3, 2013, at 01:02 , Richard Heck wrote: > > On 05/02/2013 06:16 PM, Tommaso Cucinotta wrote: > >> On 02/05/13 20:52, Howard Rudd wrote: > >>> I hope you don't mind me making a suggestion for a very small tweak that > >>> I think would be an improvement? > >> It is ver

Re: Source view window

2013-05-04 Thread Edwin Leuven
On May 3, 2013, at 01:02 , Richard Heck wrote: > On 05/02/2013 06:16 PM, Tommaso Cucinotta wrote: >> On 02/05/13 20:52, Howard Rudd wrote: >>> I hope you don't mind me making a suggestion for a very small tweak that I >>> think would be an improvement? >> It is very welcome, indeed! And what you

Re: Source view window

2013-05-04 Thread Pavel Sanda
Tommaso Cucinotta wrote: > Imagine a user that hides by mistake, he/she would be lost to realize that a > double-click is needed to show back the options. That's why the tooltip. > Would it be difficult to add a small button to the paned window buttons, that > allows for showing/hiding the extr

Re: Source view window

2013-05-04 Thread Tommaso Cucinotta
On 04/05/13 09:17, Pavel Sanda wrote: > I can put this into 2.1 unless there are objections. Otherwise it's just next > item > in my personal patchset ;) just searching for a collapsible qt widget or similar, there doesn't seem to be anything :-(. Imagine a user that hides by mistake, he/she wo

Re: Source view window

2013-05-04 Thread Pavel Sanda
Pavel Sanda wrote: > Pavel Sanda wrote: > > Pavel Sanda wrote: > > > Tommaso Cucinotta wrote: > > > > Perhaps a QBoxLayout with some setDirection() called on resize, when > > > > detecting some width/height ratio ? > > > > > > Hardcore version, but much easier: > > attached I can put this into

Re: Source view window

2013-05-04 Thread Pavel Sanda
Pavel Sanda wrote: > Pavel Sanda wrote: > > Tommaso Cucinotta wrote: > > > Perhaps a QBoxLayout with some setDirection() called on resize, when > > > detecting some width/height ratio ? > > > > Hardcore version, but much easier: attached diff --git a/src/frontends/qt4/GuiViewSource.cpp b/src/fr

Re: Source view window

2013-05-03 Thread Pavel Sanda
Pavel Sanda wrote: > Tommaso Cucinotta wrote: > > Perhaps a QBoxLayout with some setDirection() called on resize, when > > detecting some width/height ratio ? > > Hardcore version, but much easier: > or sourcewindow.tooltip="double click to hide buttons"; signal on_sourcewindow_doubleclick()

Re: Source view window

2013-05-03 Thread Pavel Sanda
Tommaso Cucinotta wrote: > Perhaps a QBoxLayout with some setDirection() called on resize, when > detecting some width/height ratio ? Hardcore version, but much easier: signal on_sourcewindow_width_changed(){ if (width<100) option_buttons.hide(); else option_buttons.show(); } Pavel

Re: Source view window

2013-05-03 Thread Tommaso Cucinotta
On 03/05/13 00:02, Richard Heck wrote: > This would be easy to do...if we knew how to do it. How can we get these > widgets to reflow themselves to the bottom or something? Can we find out how > wide and tall, catch a signal when our size changes, and then reset > everything? I would guess this

Re: Source view window

2013-05-02 Thread Pavel Sanda
Richard Heck wrote: > This would be easy to do...if we knew how to do it. How can we get these Microbutton to roll/unroll all options? I have been fighting with vertical size and it would be nice to get even smaller (actually now I see someone added Master perspective into options -- I worked so

Re: Source view window

2013-05-02 Thread Richard Heck
On 05/02/2013 06:16 PM, Tommaso Cucinotta wrote: On 02/05/13 20:52, Howard Rudd wrote: I hope you don't mind me making a suggestion for a very small tweak that I think would be an improvement? It is very welcome, indeed! And what you say is burdening others as well! I just dropped this reques

Re: Source view window

2013-05-02 Thread Tommaso Cucinotta
On 02/05/13 20:52, Howard Rudd wrote: > I hope you don't mind me making a suggestion for a very small tweak that I > think would be an improvement? It is very welcome, indeed! And what you say is burdening others as well! I just dropped this request into a ticket http://www.lyx.org/trac/ticke

Re: Source view window

2013-05-02 Thread Andrew Parsloe
On 3/05/2013 7:52 a.m., Howard Rudd wrote: Dear Lyx Developers I have been using LyX for several years and I would like to say thanks for producing such a brilliant piece of software. It's totally awesome. I hope you don't mind me making a suggestion for a very small tweak that I think would