diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2013-03-07 21:10:33 -0500 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2013-03-07 21:10:33 -0500 |
| commit | 4c9381f46024868ac565e19dd4730865484a384a (patch) | |
| tree | 5e05e18e5db11143f16ac501f7480fc325f83d15 /core/gui.lua | |
| parent | 5a73cb2d6a30cb512794f1a6f89304e96fdbb374 (diff) | |
| download | textadept-4c9381f46024868ac565e19dd4730865484a384a.tar.gz textadept-4c9381f46024868ac565e19dd4730865484a384a.zip | |
Reset Lua state after selecting a new theme; core/gui.lua
Diffstat (limited to 'core/gui.lua')
| -rw-r--r-- | core/gui.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/gui.lua b/core/gui.lua index 8dabb3bc..0f856c58 100644 --- a/core/gui.lua +++ b/core/gui.lua @@ -243,6 +243,7 @@ function gui.select_theme() if not f then return end f:write(theme) f:close() + reset() end local events, events_connect = events, events.connect |