From 84f281ac997dcd06b3205e4e13cbc4f5df793c0c Mon Sep 17 00:00:00 2001 From: mitchell <70453897+667e-11@users.noreply.github.com> Date: Sat, 1 Jun 2019 19:41:09 -0400 Subject: GTK+ was renamed to GTK recently. --- modules/textadept/menu.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'modules/textadept/menu.lua') 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 = {} -- cgit v1.2.3