diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2013-05-22 12:37:38 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2013-05-22 12:37:38 -0400 |
| commit | a5f6fefe13accd75de4ec8fa6a552fb32085f57b (patch) | |
| tree | cb5386411d38027b3d0cd3d2ce74116dddc31736 /core/gui.lua | |
| parent | 04730b609194f64081a99bf7f39909573a5e8b1d (diff) | |
| download | textadept-a5f6fefe13accd75de4ec8fa6a552fb32085f57b.tar.gz textadept-a5f6fefe13accd75de4ec8fa6a552fb32085f57b.zip | |
Use 'font' and 'fontsize' properties for theme fonts.
Diffstat (limited to 'core/gui.lua')
| -rw-r--r-- | core/gui.lua | 4 |
1 files changed, 2 insertions, 2 deletions
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/* |