Hi. You may use the following: "DejaVu Sans Mono" 36 set-listener-font
Ales. On 17.07.2013 13:40, Georg Simon wrote: > Is it possible to change the font-size in the listener? > > Georg > -- Ales Guzik <pub...@aguzik.net> skype: ales-guzik tel: +375 29 5751103 ------------------------------------------------------------------------------ See everything from the browser to the database with AppDynamics Get end-to-end visibility with application monitoring from AppDynamics Isolate bottlenecks and diagnose root cause in seconds. Start your free trial of AppDynamics Pro today! http://pubads.g.doubleclick.net/gampad/clk?id=48808831&iu=/4140/ostg.clktrk _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
