Re: Default font swipl-win.exe

Use the source! I forgot this advice.

Marco

In data 02 gennaio 2014 alle ore 19:24:14, Carlo Capelli  
<[email protected]> ha scritto:

>
>
>
> 2014/1/2 Marco Verpelli <[email protected]>
>> Hi,
>>
>> can you tell me what is the default font for swipl-win.exe?
>
>
> in Preferences.cpp there is the initialization line
>
> console_font = value("console_font", QFont("courier",  
> 12)).value<QFont>();
>
> If I open the Settings\Font... dialog in Ubuntu, I can select the  
> matching entry: Courier 10 Pitch
>
> HTH Carlo
>
>> Trying to display unicode characters I have changed the font and now I  
>> am unable to reset to default.
>>
>> TY
>>
>> Marco
>> _______________________________________________
>> SWI-Prolog mailing list
>> [email protected]
>> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog
-------------- next part --------------
HTML attachment scrubbed and removed