diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2019-06-01 19:41:09 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2019-06-01 19:41:09 -0400 |
| commit | 84f281ac997dcd06b3205e4e13cbc4f5df793c0c (patch) | |
| tree | 92de404e0b6800b341293a740b4580161198a31b /modules/textadept/menu.lua | |
| parent | bf2bf55ff58f8a37aa675b6ac908bd53de02192f (diff) | |
| download | textadept-84f281ac997dcd06b3205e4e13cbc4f5df793c0c.tar.gz textadept-84f281ac997dcd06b3205e4e13cbc4f5df793c0c.zip | |
GTK+ was renamed to GTK recently.
Diffstat (limited to 'modules/textadept/menu.lua')
| -rw-r--r-- | modules/textadept/menu.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/textadept/menu.lua b/modules/textadept/menu.lua index 7a8da077..bbfe6d33 100644 --- a/modules/textadept/menu.lua +++ b/modules/textadept/menu.lua @@ -414,10 +414,10 @@ end -- Creates a menu suitable for `ui.menu()` from the menu table format. -- Also assigns key commands. --- @param menu The menu to create a GTK+ menu from. +-- @param menu The menu to create a GTK menu from. -- @param contextmenu Flag indicating whether or not the menu is a context menu. -- If so, menu_id offset is 1000. The default value is `false`. --- @return GTK+ menu that can be passed to `ui.menu()`. +-- @return GTK menu that can be passed to `ui.menu()`. -- @see ui.menu local function read_menu_table(menu, contextmenu) local gtkmenu = {} |