diff options
author | 2013-06-21 15:00:56 -0400 | |
---|---|---|
committer | 2013-06-21 15:00:56 -0400 | |
commit | 9c40b6e33237b137c46530a25a3560f4b56bc682 (patch) | |
tree | 30a7a586a3525f180aa3c9b2001154aba6a14602 /modules/textadept/menu.lua | |
parent | 004bb689fcd3b945f0ca724ed73f9e1215f6ec34 (diff) | |
download | textadept-9c40b6e33237b137c46530a25a3560f4b56bc682.tar.gz textadept-9c40b6e33237b137c46530a25a3560f4b56bc682.zip |
Remove theme selection since it does not persist.
Encourage calling `gui.set_theme()` from *~/.textadept/init.lua* instead.
Diffstat (limited to 'modules/textadept/menu.lua')
-rw-r--r-- | modules/textadept/menu.lua | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/modules/textadept/menu.lua b/modules/textadept/menu.lua index bf5b28e4..c7babf8d 100644 --- a/modules/textadept/menu.lua +++ b/modules/textadept/menu.lua @@ -184,8 +184,6 @@ local menubar = { {_L['Zoom _In'], buffer.zoom_in}, {_L['Zoom _Out'], buffer.zoom_out}, {_L['_Reset Zoom'], utils.reset_zoom}, - SEPARATOR, - {_L['Select _Theme...'], gui.set_theme}, }, { title = _L['_Help'], {_L['Show _Manual'], |