Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > i would let "View [Other formats]" to be "View (Other formats)" > for better discernment from "View [format]". OK. > > > i still volunteer for adding the rc entry since > > > clearly we are not able to agree what the good ui is. > > > > > > No, please don't clutter the pref

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Pavel Sanda
Jürgen Spitzmüller wrote: >I've done that. Please test. i would let "View [Other formats]" to be "View (Other formats)" for better discernment from "View [format]". > > i still volunteer for adding the rc entry since > > clearly we are not able to agree what the good ui is. > > No, please don't

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > > How about appending this to the entry then, as in "View [PDF > > (pdflatex)]"? > > better than nothing. I've done that. Please test. > i still volunteer for adding the rc entry since > clearly we are not able to agree what the good ui is. No, please don't clutter the pr

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > i found another bug meanwhile - the other format in toolbar is not > remembered through the sessions. This is no bug. It is not supposed to do that (yet). Jürgen

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > Pavel Sanda wrote: > > eyes need to see the 'pdflatex' string somewhere in the menu to get quick > > orientation and better on a constant place with other formats. > > How about appending this to the entry then, as in "View [PDF (pdflatex)]"? better than nothing. i sti

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > eyes need to see the 'pdflatex' string somewhere in the menu to get quick > orientation and better on a constant place with other formats. How about appending this to the entry then, as in "View [PDF (pdflatex)]"? Jürgen

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > It would be a duplicate of UI entries. I'm not opposed, but it's certainly > not > good UI design. eyes need to see the 'pdflatex' string somewhere in the menu to get quick orientation and better on a constant place with other formats. i propose this patch. it could

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > nice, i see it now. there is small issue - the small down-arrow in the icon > appears only after first use. this is intended? No. > my basic question was a bit different though - would you be against the > inclusion the default output format in the view submenu? It would b

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > Pavel Sanda wrote: > > little bit of hijacking but anyway: the new formats machinery is kinda > > confusing for me since i use and often switch between postscript and > > pdf(latex) output. i can't use it directly from toolbar as it was till > > now, > > Sure you can

Re: View Output formats submenu (was: HTML export to different formats)

2009-09-06 Thread Jürgen Spitzmüller
Pavel Sanda wrote: > little bit of hijacking but anyway: the new formats machinery is kinda > confusing for me since i use and often switch between postscript and > pdf(latex) output. i can't use it directly from toolbar as it was till > now, Sure you can. For instance, you can set the default

View Output formats submenu (was: HTML export to different formats)

2009-09-05 Thread Pavel Sanda
Jürgen Spitzmüller wrote: > Alex Fernandez wrote: > > I think that requesting such a feature is wrapping the bandage before > > you get the cut: nobody has asked for it and it is likely it will > > never be a problem anyway. Why not create different HTML converters > > and see if it is actually a p