Function gnome_get_ext_cmd

outdated/win/gnome/gnbind.c:1104–1108

int get_ext_cmd(void) -- Get an extended command in a window-port specific way. An index into extcmdlist[] is returned on a successful selection, -1 otherwise. */

               selection, -1 otherwise.
*/
int
gnome_get_ext_cmd()
{
    return ghack_menu_ext_cmd();
}

/*
number_pad(state)