?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Updated Spanish translation
[anjuta-git-plugin.git] / plugins / document-manager / editor-tooltips.c
blob8a93ecc326298764b1b20ea13a3de5876683d4b2
1 /* GTK - The GIMP Toolkit
2 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2 of the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
13 *
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the
16 * Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
17 * Boston, MA 02110-1301, USA.
18 */
19
20 /*
21 * Modified by the GTK+ Team and others 1997-2000. See the AUTHORS
22 * file for a list of people on the GTK+ Team. See the ChangeLog
23 * files for a list of changes. These files are distributed with
24 * GTK+ at ftp://ftp.gtk.org/pub/gtk/.
25 */
26
27 /* gtk 2.12 tooltips API can replace all this */
28 #include <gtk/gtk.h>
29 #if !GTK_CHECK_VERSION (2,12,0)
30
31 #include <stdlib.h>
32 #include <string.h>
33 #include <stdio.h>
34
35 #include <gtk/gtklabel.h>
36 #include <gtk/gtkmain.h>
37 #include <gtk/gtkmenuitem.h>
38 #include <gtk/gtkwidget.h>
39 #include <gtk/gtkwindow.h>
40 #include <gtk/gtkstyle.h>
41
42 #include "editor-tooltips.h"
43 #include <libanjuta/anjuta-debug.h>
44
45
46 #define DEFAULT_DELAY 500 /* Default delay in ms */
47 #define STICKY_DELAY 0 /* Delay before popping up next tip
48 * if we are sticky
49 */
50 #define STICKY_REVERT_DELAY 1000 /* Delay before sticky tooltips revert
51 * to normal
52 */
53
54 static void editor_tooltips_class_init (EditorTooltipsClass * klass);
55 static void editor_tooltips_init (EditorTooltips * tooltips);
56 static void editor_tooltips_destroy (GtkObject * object);
57
58 static void editor_tooltips_event_handler (GtkWidget * widget,
59 GdkEvent * event);
60 static void editor_tooltips_widget_unmap (GtkWidget * widget,
61 gpointer data);
62 static void editor_tooltips_widget_remove (GtkWidget * widget,
63 gpointer data);
64 static void editor_tooltips_set_active_widget (EditorTooltips * tooltips,
65 GtkWidget * widget);
66 static gint editor_tooltips_timeout (gpointer data);
67
68 static gint editor_tooltips_paint_window (EditorTooltips * tooltips);
69 static void editor_tooltips_draw_tips (EditorTooltips * tooltips);
70 static void editor_tooltips_unset_tip_window (EditorTooltips * tooltips);
71
72 static gboolean get_keyboard_mode (GtkWidget * widget);
73
74 static GtkObjectClass *parent_class;
75 static const gchar *tooltips_data_key = "_EditorTooltipsData";
76
77 GType
78 editor_tooltips_get_type (void)
79 {
80 static GType tooltips_type = 0;
81
82 if (!tooltips_type) {
83 static const GTypeInfo tooltips_info = {
84 sizeof (EditorTooltipsClass),
85 NULL, /* base_init */
86 NULL, /* base_finalize */
87 (GClassInitFunc) editor_tooltips_class_init,
88 NULL, /* class_finalize */
89 NULL, /* class_data */
90 sizeof (EditorTooltips),
91 0, /* n_preallocs */
92 (GInstanceInitFunc) editor_tooltips_init,
93 };
94
95 tooltips_type =
96 g_type_register_static (GTK_TYPE_OBJECT,
97 "EditorTooltips",
98 &tooltips_info, 0);
99 }
100
101 return tooltips_type;
102 }
103
104 static void
105 editor_tooltips_class_init (EditorTooltipsClass * klass)
106 {
107 GtkObjectClass *object_class;
108
109 object_class = GTK_OBJECT_CLASS (klass);
110
111 parent_class = g_type_class_peek_parent (klass);
112
113 object_class->destroy = editor_tooltips_destroy;
114 }
115
116 static void
117 editor_tooltips_init (EditorTooltips * tooltips)
118 {
119 tooltips->tip_window = NULL;
120 tooltips->active_tips_data = NULL;
121 tooltips->tips_data_list = NULL;
122
123 tooltips->delay = DEFAULT_DELAY;
124 tooltips->enabled = TRUE;
125 tooltips->timer_tag = 0;
126 tooltips->use_sticky_delay = FALSE;
127 tooltips->last_popdown.tv_sec = -1;
128 tooltips->last_popdown.tv_usec = -1;
129 }
130
131 EditorTooltips *
132 editor_tooltips_new (void)
133 {
134 return g_object_new (EDITOR_TYPE_TOOLTIPS, NULL);
135 }
136
137 static void
138 editor_tooltips_destroy_data (EditorTooltipsData * tooltipsdata)
139 {
140 g_free (tooltipsdata->tip_text);
141 g_free (tooltipsdata->tip_private);
142
143 g_signal_handlers_disconnect_by_func (tooltipsdata->widget,
144 editor_tooltips_event_handler,
145 tooltipsdata);
146 g_signal_handlers_disconnect_by_func (tooltipsdata->widget,
147 editor_tooltips_widget_unmap,
148 tooltipsdata);
149 g_signal_handlers_disconnect_by_func (tooltipsdata->widget,
150 editor_tooltips_widget_remove,
151 tooltipsdata);
152
153 g_object_set_data (G_OBJECT (tooltipsdata->widget),
154 tooltips_data_key, NULL);
155 g_object_unref (tooltipsdata->widget);
156 g_free (tooltipsdata);
157 }
158
159 static void
160 tip_window_display_closed (GdkDisplay * display,
161 gboolean was_error, EditorTooltips * tooltips)
162 {
163 editor_tooltips_unset_tip_window (tooltips);
164 }
165
166 static void
167 disconnect_tip_window_display_closed (EditorTooltips * tooltips)
168 {
169 g_signal_handlers_disconnect_by_func (gtk_widget_get_display
170 (tooltips->tip_window),
171 (gpointer)
172 tip_window_display_closed,
173 tooltips);
174 }
175
176 static void
177 editor_tooltips_unset_tip_window (EditorTooltips * tooltips)
178 {
179 if (tooltips->tip_window) {
180 disconnect_tip_window_display_closed (tooltips);
181
182 gtk_widget_destroy (tooltips->tip_window);
183 tooltips->tip_window = NULL;
184 }
185 }
186
187 static void
188 editor_tooltips_destroy (GtkObject * object)
189 {
190 EditorTooltips *tooltips = EDITOR_TOOLTIPS (object);
191 GList *current;
192 EditorTooltipsData *tooltipsdata;
193
194 g_return_if_fail (tooltips != NULL);
195
196 DEBUG_PRINT ("destroying tooltips...");
197 if (tooltips->timer_tag) {
198 g_source_remove (tooltips->timer_tag);
199 tooltips->timer_tag = 0;
200 }
201
202 if (tooltips->tips_data_list != NULL) {
203 current = g_list_first (tooltips->tips_data_list);
204 while (current != NULL) {
205 tooltipsdata = (EditorTooltipsData *) current->data;
206 current = current->next;
207 editor_tooltips_widget_remove (tooltipsdata->widget,
208 tooltipsdata);
209 }
210 }
211
212 editor_tooltips_unset_tip_window (tooltips);
213 }
214
215 static void
216 editor_tooltips_update_screen (EditorTooltips * tooltips,
217 gboolean new_window)
218 {
219 gboolean screen_changed = FALSE;
220
221 if (tooltips->active_tips_data &&
222 tooltips->active_tips_data->widget) {
223 GdkScreen *screen =
224 gtk_widget_get_screen (tooltips->active_tips_data->
225 widget);
226
227 screen_changed =
228 (screen !=
229 gtk_widget_get_screen (tooltips->tip_window));
230
231 if (screen_changed) {
232 if (!new_window)
233 disconnect_tip_window_display_closed
234 (tooltips);
235
236 gtk_window_set_screen (GTK_WINDOW
237 (tooltips->tip_window),
238 screen);
239 }
240 }
241
242 if (screen_changed || new_window)
243 g_signal_connect (gtk_widget_get_display
244 (tooltips->tip_window), "closed",
245 G_CALLBACK (tip_window_display_closed),
246 tooltips);
247
248 }
249
250 void
251 editor_tooltips_force_window (EditorTooltips * tooltips)
252 {
253 g_return_if_fail (EDITOR_IS_TOOLTIPS (tooltips));
254
255 if (!tooltips->tip_window) {
256 tooltips->tip_window = gtk_window_new (GTK_WINDOW_POPUP);
257 editor_tooltips_update_screen (tooltips, TRUE);
258 gtk_widget_set_app_paintable (tooltips->tip_window, TRUE);
259 gtk_window_set_resizable (GTK_WINDOW
260 (tooltips->tip_window), FALSE);
261 gtk_widget_set_name (tooltips->tip_window, "gtk-tooltips");
262 gtk_container_set_border_width (GTK_CONTAINER
263 (tooltips->tip_window), 4);
264
265 g_signal_connect_swapped (tooltips->tip_window,
266 "expose_event",
267 G_CALLBACK
268 (editor_tooltips_paint_window),
269 tooltips);
270
271 tooltips->tip_label = gtk_label_new (NULL);
272 gtk_label_set_line_wrap (GTK_LABEL (tooltips->tip_label),
273 TRUE);
274 gtk_misc_set_alignment (GTK_MISC (tooltips->tip_label),
275 0.5, 0.5);
276 gtk_widget_show (tooltips->tip_label);
277
278 gtk_container_add (GTK_CONTAINER (tooltips->tip_window),
279 tooltips->tip_label);
280
281 g_signal_connect (tooltips->tip_window,
282 "destroy",
283 G_CALLBACK (gtk_widget_destroyed),
284 &tooltips->tip_window);
285 }
286 }
287
288 void
289 editor_tooltips_enable (EditorTooltips * tooltips)
290 {
291 g_return_if_fail (tooltips != NULL);
292
293 tooltips->enabled = TRUE;
294 }
295
296 void
297 editor_tooltips_disable (EditorTooltips * tooltips)
298 {
299 g_return_if_fail (tooltips != NULL);
300
301 editor_tooltips_set_active_widget (tooltips, NULL);
302
303 tooltips->enabled = FALSE;
304 }
305
306 EditorTooltipsData *
307 editor_tooltips_data_get (GtkWidget * widget)
308 {
309 g_return_val_if_fail (widget != NULL, NULL);
310
311 return g_object_get_data (G_OBJECT (widget), tooltips_data_key);
312 }
313
314 void
315 editor_tooltips_set_tip (EditorTooltips * tooltips,
316 GtkWidget * widget,
317 const gchar * tip_text, const gchar * tip_private)
318 {
319 EditorTooltipsData *tooltipsdata;
320
321 g_return_if_fail (EDITOR_IS_TOOLTIPS (tooltips));
322 g_return_if_fail (widget != NULL);
323
324 tooltipsdata = editor_tooltips_data_get (widget);
325
326 if (!tip_text) {
327 if (tooltipsdata)
328 editor_tooltips_widget_remove (tooltipsdata->widget,
329 tooltipsdata);
330 return;
331 }
332
333 if (tooltips->active_tips_data
334 && tooltips->active_tips_data->widget == widget
335 && GTK_WIDGET_DRAWABLE (tooltips->active_tips_data->widget)) {
336
337 g_free (tooltipsdata->tip_text);
338 g_free (tooltipsdata->tip_private);
339
340 tooltipsdata->tip_text = g_strdup (tip_text);
341 tooltipsdata->tip_private = g_strdup (tip_private);
342
343 editor_tooltips_draw_tips (tooltips);
344 } else {
345 DEBUG_PRINT ("tooltip data aws not present. Setting now" );
346 g_object_ref (widget);
347
348 if (tooltipsdata)
349 editor_tooltips_widget_remove (tooltipsdata->widget,
350 tooltipsdata);
351
352 tooltipsdata = g_new0 (EditorTooltipsData, 1);
353
354 tooltipsdata->tooltips = tooltips;
355 tooltipsdata->widget = widget;
356
357 tooltipsdata->tip_text = g_strdup (tip_text);
358 tooltipsdata->tip_private = g_strdup (tip_private);
359
360 tooltips->tips_data_list =
361 g_list_append (tooltips->tips_data_list, tooltipsdata);
362 g_signal_connect_after (widget, "event-after",
363 G_CALLBACK
364 (editor_tooltips_event_handler),
365 tooltipsdata);
366
367 g_object_set_data (G_OBJECT (widget), tooltips_data_key,
368 tooltipsdata);
369
370 g_signal_connect (widget, "unmap",
371 G_CALLBACK (editor_tooltips_widget_unmap),
372 tooltipsdata);
373
374 g_signal_connect (widget, "unrealize",
375 G_CALLBACK (editor_tooltips_widget_unmap),
376 tooltipsdata);
377
378 g_signal_connect (widget, "destroy",
379 G_CALLBACK
380 (editor_tooltips_widget_remove),
381 tooltipsdata);
382 }
383 }
384
385 static gint
386 editor_tooltips_paint_window (EditorTooltips * tooltips)
387 {
388 gtk_paint_flat_box (tooltips->tip_window->style,
389 tooltips->tip_window->window, GTK_STATE_NORMAL,
390 GTK_SHADOW_OUT, NULL,
391 GTK_WIDGET (tooltips->tip_window), "tooltip",
392 0, 0, -1, -1);
393
394 return FALSE;
395 }
396
397 static void
398 editor_tooltips_draw_tips (EditorTooltips * tooltips)
399 {
400 GtkRequisition requisition;
401 GtkWidget *widget;
402 GtkStyle *style;
403 gint x, y, w, h, scr_w, scr_h;
404 EditorTooltipsData *data;
405 gboolean keyboard_mode;
406 GdkScreen *screen;
407
408 if (!tooltips->tip_window)
409 editor_tooltips_force_window (tooltips);
410 else if (GTK_WIDGET_VISIBLE (tooltips->tip_window))
411 g_get_current_time (&tooltips->last_popdown);
412
413 gtk_widget_ensure_style (tooltips->tip_window);
414 style = tooltips->tip_window->style;
415
416 widget = tooltips->active_tips_data->widget;
417
418 keyboard_mode = get_keyboard_mode (widget);
419
420 editor_tooltips_update_screen (tooltips, FALSE);
421
422 screen = gtk_widget_get_screen (widget);
423 scr_w = gdk_screen_get_width (screen);
424 scr_h = gdk_screen_get_height (screen);
425
426 data = tooltips->active_tips_data;
427
428 gtk_label_set_markup (GTK_LABEL (tooltips->tip_label),
429 data->tip_text);
430
431 gtk_widget_size_request (tooltips->tip_window, &requisition);
432 w = requisition.width;
433 h = requisition.height;
434
435 gdk_window_get_origin (widget->window, &x, &y);
436 if (GTK_WIDGET_NO_WINDOW (widget)) {
437 x += widget->allocation.x;
438 y += widget->allocation.y;
439 }
440
441 x += widget->allocation.width / 2;
442
443 if (!keyboard_mode)
444 gdk_window_get_pointer (gdk_screen_get_root_window
445 (screen), &x, NULL, NULL);
446
447 x -= (w / 2 + 4);
448
449 if ((x + w) > scr_w)
450 x -= (x + w) - scr_w;
451 else if (x < 0)
452 x = 0;
453
454 if ((y + h + widget->allocation.height + 4) > scr_h)
455 y = y - h - 4;
456 else
457 y = y + widget->allocation.height + 4;
458
459 gtk_window_move (GTK_WINDOW (tooltips->tip_window), x, y);
460 gtk_widget_show (tooltips->tip_window);
461 }
462
463 static gint
464 editor_tooltips_timeout (gpointer data)
465 {
466 EditorTooltips *tooltips = EDITOR_TOOLTIPS (data);
467
468 GDK_THREADS_ENTER ();
469
470 if (tooltips->active_tips_data != NULL &&
471 GTK_WIDGET_DRAWABLE (tooltips->active_tips_data->widget))
472 editor_tooltips_draw_tips (tooltips);
473
474 GDK_THREADS_LEAVE ();
475
476 return FALSE;
477 }
478
479 static void
480 editor_tooltips_set_active_widget (EditorTooltips * tooltips,
481 GtkWidget * widget)
482 {
483 if (tooltips->tip_window) {
484 if (GTK_WIDGET_VISIBLE (tooltips->tip_window))
485 g_get_current_time (&tooltips->last_popdown);
486 gtk_widget_hide (tooltips->tip_window);
487 }
488 if (tooltips->timer_tag) {
489 g_source_remove (tooltips->timer_tag);
490 tooltips->timer_tag = 0;
491 }
492
493 tooltips->active_tips_data = NULL;
494
495 if (widget) {
496 GList *list;
497
498 for (list = tooltips->tips_data_list; list;
499 list = list->next) {
500 EditorTooltipsData *tooltipsdata;
501
502 tooltipsdata = list->data;
503
504 if (tooltipsdata->widget == widget &&
505 GTK_WIDGET_DRAWABLE (widget)) {
506 tooltips->active_tips_data = tooltipsdata;
507 break;
508 }
509 }
510 } else {
511 tooltips->use_sticky_delay = FALSE;
512 }
513 }
514
515 static void
516 editor_tooltips_show_tip (GtkWidget * widget)
517 {
518 EditorTooltipsData *tooltipsdata;
519
520 tooltipsdata = editor_tooltips_data_get (widget);
521
522 if (tooltipsdata &&
523 (!tooltipsdata->tooltips->active_tips_data ||
524 tooltipsdata->tooltips->active_tips_data->widget != widget)) {
525 editor_tooltips_set_active_widget (tooltipsdata->tooltips,
526 widget);
527 editor_tooltips_draw_tips (tooltipsdata->tooltips);
528 }
529 }
530
531 static void
532 editor_tooltips_hide_tip (GtkWidget * widget)
533 {
534 EditorTooltipsData *tooltipsdata;
535
536 tooltipsdata = editor_tooltips_data_get (widget);
537
538 if (tooltipsdata &&
539 (tooltipsdata->tooltips->active_tips_data &&
540 tooltipsdata->tooltips->active_tips_data->widget == widget))
541 editor_tooltips_set_active_widget (tooltipsdata->tooltips,
542 NULL);
543 }
544
545 static gboolean
546 editor_tooltips_recently_shown (EditorTooltips * tooltips)
547 {
548 GTimeVal now;
549 glong msec;
550
551 g_get_current_time (&now);
552 msec = (now.tv_sec - tooltips->last_popdown.tv_sec) * 1000 +
553 (now.tv_usec - tooltips->last_popdown.tv_usec) / 1000;
554 return (msec < STICKY_REVERT_DELAY);
555 }
556
557 static gboolean
558 get_keyboard_mode (GtkWidget * widget)
559 {
560 GtkWidget *toplevel = gtk_widget_get_toplevel (widget);
561 if (GTK_IS_WINDOW (toplevel))
562 return
563 GPOINTER_TO_UINT (g_object_get_data
564 (G_OBJECT (toplevel),
565 "gtk-tooltips-keyboard-mode"));
566 else
567 return FALSE;
568 }
569
570 static void
571 start_keyboard_mode (GtkWidget * widget)
572 {
573 GtkWidget *toplevel = gtk_widget_get_toplevel (widget);
574 if (GTK_IS_WINDOW (toplevel)) {
575 GtkWidget *focus = GTK_WINDOW (toplevel)->focus_widget;
576
577 g_object_set_data (G_OBJECT (toplevel),
578 "gtk-tooltips-keyboard-mode",
579 GUINT_TO_POINTER (TRUE));
580
581 if (focus)
582 editor_tooltips_show_tip (focus);
583 }
584 }
585
586 static void
587 stop_keyboard_mode (GtkWidget * widget)
588 {
589 GtkWidget *toplevel = gtk_widget_get_toplevel (widget);
590 if (GTK_IS_WINDOW (toplevel)) {
591 GtkWidget *focus = GTK_WINDOW (toplevel)->focus_widget;
592 if (focus)
593 editor_tooltips_hide_tip (focus);
594
595 g_object_set_data (G_OBJECT (toplevel),
596 "gtk-tooltips-keyboard-mode",
597 GUINT_TO_POINTER (FALSE));
598 }
599 }
600
601 static void
602 editor_tooltips_start_delay (EditorTooltips * tooltips, GtkWidget * widget)
603 {
604 EditorTooltipsData *old_tips_data;
605
606 old_tips_data = tooltips->active_tips_data;
607 if (tooltips->enabled &&
608 (!old_tips_data || old_tips_data->widget != widget)) {
609 guint delay;
610
611 editor_tooltips_set_active_widget (tooltips, widget);
612
613 if (tooltips->use_sticky_delay &&
614 editor_tooltips_recently_shown (tooltips))
615 delay = STICKY_DELAY;
616 else
617 delay = tooltips->delay;
618 tooltips->timer_tag = g_timeout_add (delay,
619 editor_tooltips_timeout,
620 (gpointer)
621 tooltips);
622 }
623 }
624
625 static void
626 editor_tooltips_event_handler (GtkWidget * widget, GdkEvent * event)
627 {
628 EditorTooltips *tooltips;
629 EditorTooltipsData *old_tips_data;
630 GtkWidget *event_widget;
631 gboolean keyboard_mode = get_keyboard_mode (widget);
632
633 if ((event->type == GDK_LEAVE_NOTIFY
634 || event->type == GDK_ENTER_NOTIFY)
635 && event->crossing.detail == GDK_NOTIFY_INFERIOR)
636 return;
637
638 old_tips_data = editor_tooltips_data_get (widget);
639 tooltips = old_tips_data->tooltips;
640
641 if (keyboard_mode) {
642 switch (event->type) {
643 case GDK_FOCUS_CHANGE:
644 if (event->focus_change.in)
645 editor_tooltips_show_tip (widget);
646 else
647 editor_tooltips_hide_tip (widget);
648 break;
649 default:
650 break;
651 }
652 } else {
653 if (event->type != GDK_KEY_PRESS
654 && event->type != GDK_KEY_RELEASE) {
655 event_widget = gtk_get_event_widget (event);
656 if (event_widget != widget)
657 return;
658 }
659
660 switch (event->type) {
661 case GDK_EXPOSE:
662 /* do nothing */
663 break;
664 case GDK_ENTER_NOTIFY:
665 if (!
666 (GTK_IS_MENU_ITEM (widget)
667 && GTK_MENU_ITEM (widget)->submenu))
668 editor_tooltips_start_delay (tooltips,
669 widget);
670 break;
671
672 case GDK_LEAVE_NOTIFY:
673 {
674 gboolean use_sticky_delay;
675
676 use_sticky_delay = tooltips->tip_window &&
677 GTK_WIDGET_VISIBLE (tooltips->
678 tip_window);
679 editor_tooltips_set_active_widget (tooltips,
680 NULL);
681 tooltips->use_sticky_delay =
682 use_sticky_delay;
683 }
684 break;
685 #if 0
686 case GDK_MOTION_NOTIFY:
687
688 /* Handle menu items specially ... pend popup for each motion
689 * on other widgets, we ignore motion.
690 */
691 if (GTK_IS_MENU_ITEM (widget)
692 && !GTK_MENU_ITEM (widget)->submenu) {
693 /* Completely evil hack to make sure we get the LEAVE_NOTIFY
694 */
695 GTK_PRIVATE_SET_FLAG (widget,
696 GTK_LEAVE_PENDING);
697 editor_tooltips_set_active_widget (tooltips,
698 NULL);
699 editor_tooltips_start_delay (tooltips,
700 widget);
701 break;
702 }
703 break; /* ignore */
704 #endif
705 case GDK_BUTTON_PRESS:
706 case GDK_BUTTON_RELEASE:
707 case GDK_KEY_PRESS:
708 case GDK_KEY_RELEASE:
709 case GDK_PROXIMITY_IN:
710 case GDK_SCROLL:
711 editor_tooltips_set_active_widget (tooltips, NULL);
712 break;
713 default:
714 break;
715 }
716 }
717 }
718
719 static void
720 editor_tooltips_widget_unmap (GtkWidget * widget, gpointer data)
721 {
722 EditorTooltipsData *tooltipsdata = (EditorTooltipsData *) data;
723 EditorTooltips *tooltips = tooltipsdata->tooltips;
724
725 if (tooltips->active_tips_data &&
726 (tooltips->active_tips_data->widget == widget))
727 editor_tooltips_set_active_widget (tooltips, NULL);
728 }
729
730 static void
731 editor_tooltips_widget_remove (GtkWidget * widget, gpointer data)
732 {
733 EditorTooltipsData *tooltipsdata = (EditorTooltipsData *) data;
734 EditorTooltips *tooltips = tooltipsdata->tooltips;
735
736 editor_tooltips_widget_unmap (widget, data);
737 tooltips->tips_data_list = g_list_remove (tooltips->tips_data_list,
738 tooltipsdata);
739 editor_tooltips_destroy_data (tooltipsdata);
740 }
741
742 void
743 _editor_tooltips_toggle_keyboard_mode (GtkWidget * widget)
744 {
745 if (get_keyboard_mode (widget))
746 stop_keyboard_mode (widget);
747 else
748 start_keyboard_mode (widget);
749 }
750
751 #endif /* !GTK_CHECK_VERSION (2,12,0) */
Anjuta IDE Git Plugin Development Tree