Re: [code] How to change a font from ui?

From: Robert Gieseke <>
Date: Wed, 19 Mar 2014 11:39:09 +0100


Am 19/03/14 11:23, schrieb tastyminerals:
> Hi everyone,
> I've noticed that on windows korean/arabic text is not displayed
> correctly while on linux machine everything is ok.
> As I understand on windows I need to use an appropriate korean/arabic
> font to display these languages. But changing init.lua all the time
> would be problematic.
> Can it be done from ui?
> What command should I use to change from 'Monospace' font to 'Gulim' for
> example when viewing a korean.txt file?

you could assign a keyboard shortcut to switch the theme/font, something

keys.f7 = function()
   ui.set_theme('light', {font='Gulim'})

keys.f8 = function()

in your init.lua for 'F7' and 'F8' as keys.


You are subscribed to
To change subscription settings, send an e-mail to
To unsubscribe, send an e-mail to
Received on Wed 19 Mar 2014 - 06:39:09 EDT

This archive was generated by hypermail 2.2.0 : Wed 19 Mar 2014 - 06:39:42 EDT