Re: change the font of the swi-prolog graphical debugger
db <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Thanks a lot ! (sorry I should have read the wiki) Cheers Dominique Le 27/02/2014 13:38, Jan Wielemaker a écrit : > On 02/27/2014 01:15 PM, db wrote: >> Hello, >> >> The font used by the graphical debugger is too small for me. >> Is there a way to the change it ? > > See http://www.swi-prolog.org/FAQ/PceFonts.html > > With the new website, autocompletion on 'font' already gives this :-) > > Cheers --- Jan > > _______________________________________________ > SWI-Prolog mailing list > [email protected] > https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog > > !DSPAM:152,530f31fe234292346413652! >