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

From: Robert Gieseke <rob.g.att.web.de>
Date: Wed, 19 Mar 2014 11:39:09 +0100

Hi,

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
like

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

keys.f8 = function()
   ui.set_theme('light')
end

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

Cheers,
Robert

-- 
You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
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