On Aug 30, 2010, at 5:52 AM, nitralime wrote:
> Hello folks!
>
> Is is possible to change the font and color settings in Listener?
The font sizes and colors are hard-coded in various parts of the UI. You can
find and patch those locations, but currently there's no user-friendly
interface to do so. A user in the #concatenative channel was recently working
on this problem.
-Joe
------------------------------------------------------------------------------
This SF.net Dev2Dev email is sponsored by:
Show off your parallel programming skills.
Enter the Intel(R) Threading Challenge 2010.
http://p.sf.net/sfu/intel-thread-sfd
_______________________________________________
Factor-talk mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/factor-talk
