Searched refs:disable_tooltips (Results 1 – 12 of 12) sorted by relevance
516 if(!GLOBALS->disable_tooltips) in gtk_tooltips_set_tip_2()525 if(!GLOBALS->disable_tooltips) in gtk_tooltips_set_delay_2()534 if(!GLOBALS->disable_tooltips) in gtk_tooltips_new_2()
226 char disable_tooltips; /* from debug.c 80 */ member
191 GLOBALS->disable_tooltips=atoi_64(str)?1:0; in f_disable_tooltips()
1878 new_globals->disable_tooltips = GLOBALS->disable_tooltips; in reload_into_new_context_2()
627 GLOBALS->disable_tooltips = old_g->disable_tooltips; in main_2()
206 guint disable_tooltips : 1; member335 plugin->disable_tooltips = FALSE; in launcher_plugin_init()470 g_value_set_boolean (value, plugin->disable_tooltips); in launcher_plugin_get_property()879 plugin->disable_tooltips = g_value_get_boolean (value); in launcher_plugin_set_property()880 gtk_widget_set_has_tooltip (plugin->button, !plugin->disable_tooltips); in launcher_plugin_set_property()1664 if (!plugin->disable_tooltips) in launcher_plugin_menu_construct()2035 panel_return_val_if_fail (!plugin->disable_tooltips, FALSE); in launcher_plugin_button_query_tooltip()
173 LIBGTKMM2EXT_API void disable_tooltips ();
411 Gtkmm2ext::disable_tooltips (); in parameter_changed()
238 if (!Options.disable_tooltips) {255 if (!Options.disable_tooltips) {281 if (!Options.disable_tooltips) {
258 Options.disable_tooltips = bool.parse(fields[2]);
134 public static bool disable_tooltips = false;
1020 Gtkmm2ext::disable_tooltips () in disable_tooltips() function in Gtkmm2ext