On Friday, November 8, 2013 4:08:27 PM UTC+1, Jacob Peck wrote: > > On 11/8/2013 10:00 AM, [email protected] <javascript:> wrote: > > On Friday, November 8, 2013 2:26:58 PM UTC+1, Edward K. Ream wrote: >> >> >> On Friday, November 8, 2013 7:00:44 AM UTC-6, [email protected] wrote: >> >> > I totally agree. In fact, these were the changes that I immediately >> made. Especially, the font size was way too small. >> >> This bad first impression may have turned a lot of people away from Leo >> right at the start. Correcting this could make a surprisingly big >> difference. >> >> I have now disabled @data qt-gui-plugin-style-sheet in >> myLeoSettings.leo. The result is that I am now continuously testing the >> corresponding setting in leoSettings.leo. >> >> Edward >> > > Even better than this, could you please make some of those settings more > accessible? For instance, you could make the font size of the main panes > accessible from the menu. From my very limited experience (just a few > days), Leo's settings are terribly complicated, and entering into those > setting files is like entering into a jungle. It is very discouraging! > I had to post help requests on this forum just for changing the font type > and sizes. This does not look right. It is far from user-friendly. > My request concerns only the most commonly used settings, of course. > > Perhaps something like: > > @string body-font-face = DejaVu Sans Mono > @string body-font-size = 14pt > @string log-font-face = DejaVu Sans Mono > @string log-font-size = 14pt > @string outline-font-face = DejaVu Sans Mono > @string outline-font-size = 14pt > > Should be handled by the @data qt-gui-plugin-style-sheet parsing code? > That would be awesome, in my opinion -- actually, allowing any > '@yoursettinghere' (which searches for either a @color or @string) in > qt-gui-plugin-style-sheet would make the stylesheet wayyyy more usable and > Leonine. > > -->Jake >
Well, to be even more explicit, I would prefer (as a newbie) not having to do at all with something called @data qt-gui-plugin-style-sheet!! What I mean is that SOME all those highly technical entries in the settings file should be made accessible from the menus in a humanly understandable way. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
