[Factor-talk] i18n

Is there any mechanism in Factor to translate hard coded strings to the user's language? For now I use https://github.com/GeorgSimon/factor-i18n Georg -- Factor ist eine verkettende Programmiersprache. Vorsicht: Factor kann deinen Programmierstil ändern. FactorProgrammierung.isthier.de Factor-Pr

[Factor-talk] font-size in listener

Is it possible to change the font-size in the listener? Georg -- Factor ist eine verkettende Programmiersprache. Vorsicht: Factor kann deinen Programmierstil ändern. FactorProgrammierung.isthier.de Factor-Programmierung.isthier.de

Re: [Factor-talk] font-size in listener

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 skype: ales-guzik tel: +375 29 5751103 -

Re: [Factor-talk] font-size in listener

Am Wed, 17 Jul 2013 14:01:21 +0300 schrieb Ales Guzik : > Hi. > > You may use the following: > "DejaVu Sans Mono" 36 set-listener-font > > Ales. Great. Thank you -- See everything from the browser to the database with

Re: [Factor-talk] i18n

We don't have anything that solves your problem. It would be nice to have full internationalisation and localization support. Doug On Wed, Jul 17, 2013 at 1:24 AM, Georg Simon wrote: > Is there any mechanism in Factor to translate hard coded strings to the > user's language? > For now I use ht