Searched refs:WINDOW_PREV (Results 1 – 9 of 9) sorted by relevance
/dports/math/gretl/gretl-2021d/gui/ |
H A D | winstack.c | 38 WINDOW_PREV enumerator 235 return select_other_window(data, WINDOW_PREV); in maybe_select_other_window() 244 return select_other_window(data, WINDOW_PREV); in maybe_select_other_window() 786 if (seq == WINDOW_PREV) { in select_other_window()
|
/dports/devel/godot2-tools/godot-2.1.6-stable/editor/plugins/ |
H A D | script_editor_plugin.h | 165 WINDOW_PREV, enumerator
|
H A D | script_editor_plugin.cpp | 1113 case WINDOW_PREV: { in _menu_option() 2783 …tor/history_previous", TTR("History Prev"), KEY_MASK_CTRL | KEY_MASK_ALT | KEY_LEFT), WINDOW_PREV); in ScriptEditor()
|
/dports/devel/godot2/godot-2.1.6-stable/editor/plugins/ |
H A D | script_editor_plugin.h | 165 WINDOW_PREV, enumerator
|
H A D | script_editor_plugin.cpp | 1113 case WINDOW_PREV: { in _menu_option() 2783 …tor/history_previous", TTR("History Prev"), KEY_MASK_CTRL | KEY_MASK_ALT | KEY_LEFT), WINDOW_PREV); in ScriptEditor()
|
/dports/devel/godot/godot-3.2.3-stable/editor/plugins/ |
H A D | script_editor_plugin.h | 174 WINDOW_PREV, enumerator
|
H A D | script_editor_plugin.cpp | 1110 case WINDOW_PREV: { in _menu_option() 3327 …("script_editor/history_previous", TTR("History Previous"), KEY_MASK_ALT | KEY_LEFT), WINDOW_PREV); in ScriptEditor()
|
/dports/devel/godot-tools/godot-3.2.3-stable/editor/plugins/ |
H A D | script_editor_plugin.h | 174 WINDOW_PREV, enumerator
|
H A D | script_editor_plugin.cpp | 1110 case WINDOW_PREV: { in _menu_option() 3327 …("script_editor/history_previous", TTR("History Previous"), KEY_MASK_ALT | KEY_LEFT), WINDOW_PREV); in ScriptEditor()
|