diff options
author | 2014-06-12 21:18:13 -0400 | |
---|---|---|
committer | 2014-06-12 21:18:13 -0400 | |
commit | a9f6d85ead8c83ce210e5ffb05f84361e029f419 (patch) | |
tree | d7fcd5c957e3170f396eb515b94927174ad955d1 /core/ui.lua | |
parent | d3e1bd0272a6ac75d927e0c7d5fcfde91d90bcc4 (diff) | |
download | textadept-a9f6d85ead8c83ce210e5ffb05f84361e029f419.tar.gz textadept-a9f6d85ead8c83ce210e5ffb05f84361e029f419.zip |
Lua code cleanup.
Diffstat (limited to 'core/ui.lua')
-rw-r--r-- | core/ui.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/ui.lua b/core/ui.lua index 7e5f56ed..e78e6c29 100644 --- a/core/ui.lua +++ b/core/ui.lua @@ -211,7 +211,6 @@ end -- @usage ui.set_theme('light', {font = 'Monospace', fontsize = 12}) -- @name set_theme function ui.set_theme(name, props) - if not name then return end name = name:find('[/\\]') and name or package.searchpath(name, _USERHOME..'/themes/?.lua;'.. _HOME..'/themes/?.lua') |