Re: change the font of the swi-prolog graphical debugger
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
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