On 11/8/2013 10:00 AM, [email protected] 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
--
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.
