diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2013-06-24 15:33:41 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2013-06-24 15:33:41 -0400 |
| commit | 8527adcebc33243664bcb2b19d63ac6a66e584be (patch) | |
| tree | c0dae28fa47a8b0178420f4d65a44842d1e2a204 /core/gui.lua | |
| parent | 9eac2fc9173845e73c8e55aec9be66c9a233da2d (diff) | |
| download | textadept-8527adcebc33243664bcb2b19d63ac6a66e584be.tar.gz textadept-8527adcebc33243664bcb2b19d63ac6a66e584be.zip | |
Removed `_G.RESETTING`; test for `arg` instead.
Diffstat (limited to 'core/gui.lua')
| -rw-r--r-- | core/gui.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/gui.lua b/core/gui.lua index 59ad72d5..b8b2071e 100644 --- a/core/gui.lua +++ b/core/gui.lua @@ -192,7 +192,6 @@ function gui.set_theme(name, ...) for j = 1, #props, 2 do buffer.property[props[j]] = props[j + 1] end end gui.goto_view(current_view) --- if not RESETTING then reset() end theme = name end |