On Thursday, September 11, 2014 9:38:50 AM UTC-5, Edward K. Ream wrote:
>
> On Thursday, September 11, 2014 9:23:51 AM UTC-5, Terry wrote:
>
 

>  Note there are also "font-picker" and "color-picker" buttons so you can 
>> pick the values for those things 
>> interactively.
>>
>
> Hah.  I hadn't noticed them ;-)  What exactly does the "pick font" button 
> do?
>

Ok.  Got up the nerve to press the buttons.  They apparently copy settings 
to the clipboard.  

There are problems.  After copying a few things to the clipboard I get 
these messages.

QColor::setNamedColor: Unknown color name 
'c59171ca970e1f01caaa355b04114f7527639008'
QColor::setNamedColor: Unknown color name 'Raavi' (a font name)

Maybe the settings are appended to the clipboard rather than replacing it.  
Might be related to the pre-1900 problem?

EKR

-- 
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/d/optout.

Reply via email to