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
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
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
-
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
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