From a5f6fefe13accd75de4ec8fa6a552fb32085f57b Mon Sep 17 00:00:00 2001 From: mitchell <70453897+667e-11@users.noreply.github.com> Date: Wed, 22 May 2013 12:37:38 -0400 Subject: Use 'font' and 'fontsize' properties for theme fonts. --- core/gui.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'core/gui.lua') diff --git a/core/gui.lua b/core/gui.lua index dbbab6ce..a8900345 100644 --- a/core/gui.lua +++ b/core/gui.lua @@ -19,6 +19,8 @@ local gui = gui -- The text displayed by the buffer statusbar. module('gui')]] +local theme = _HOME..'/themes/'..(not CURSES and 'light' or 'term')..'.lua' + -- Helper function for printing messages to buffers. -- @see gui._print local function _print(buffer_type, ...) @@ -157,8 +159,6 @@ function gui.goto_file(filename, split, preferred_view, sloppy) io.open_file(filename) end -local theme = _HOME..'/themes/'..(not CURSES and 'light' or 'term')..'.lua' - --- -- Sets the editor theme name to *name* or prompts the user to select one from a -- list of themes found in the *`_USERHOME`/themes/* and *`_HOME`/themes/* -- cgit v1.2.3