-void RefreshShaders()
-{
- ScopeDisableScreenUpdates disableScreenUpdates("Processing...", "Loading Shaders");
- GlobalShaderSystem().refresh();
- UpdateAllWindows();
-}
-
-
-GtkMenuItem* create_textures_menu()
-{
- // Textures menu
- GtkMenuItem* textures_menu_item = new_sub_menu_item_with_mnemonic("_Textures");
- GtkMenu* menu = GTK_MENU(gtk_menu_item_get_submenu(textures_menu_item));
- g_textures_menu = menu;
- if (g_Layout_enableDetachableMenus.m_value)
- menu_tearoff (menu);
-
- create_check_menu_item_with_mnemonic(menu, "Hide _Unused", "ShowInUse");
- create_menu_item_with_mnemonic(menu, "Show All", "ShowAllTextures");
-
- menu_separator(menu);
- create_check_menu_item_with_mnemonic(menu, "Show shaders", "ToggleShowShaders");
- create_menu_item_with_mnemonic(menu, "Flush & Reload Shaders", "RefreshShaders");
- create_menu_item_with_mnemonic(menu, "Directory list...", "TextureDirectoryList");
- menu_separator(menu);
-
- create_menu_item_with_mnemonic(menu, "Find / Replace...", "FindReplaceTextures");
-
-
- menu_separator(menu);
- create_check_menu_item_with_mnemonic (menu, "Shaders Only", "ToggleShowShaderlistOnly");
- g_textures_menu_separator = menu_separator(menu);
-
- TextureGroupsMenu_Construct();
-
- return textures_menu_item;
-}
-