]> www.fi.muni.cz Git - evince.git/blob - libview/ev-annotation-window.c
[libview] Fix position of window annotations when moved by the user
[evince.git] / libview / ev-annotation-window.c
1 /* ev-annotation-window.c
2  *  this file is part of evince, a gnome document viewer
3  *
4  * Copyright (C) 2009 Carlos Garcia Campos <carlosgc@gnome.org>
5  * Copyright (C) 2007 IƱigo Martinez <inigomartinez@gmail.com>
6  *
7  * Evince is free software; you can redistribute it and/or modify it
8  * under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 2 of the License, or
10  * (at your option) any later version.
11  *
12  * Evince is distributed in the hope that it will be useful, but
13  * WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  * General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
20  */
21
22 #include "config.h"
23
24 #include <string.h>
25
26 #include "ev-annotation-window.h"
27 #include "ev-stock-icons.h"
28 #include "ev-view-marshal.h"
29 #include "ev-document-misc.h"
30
31 enum {
32         PROP_0,
33         PROP_ANNOTATION,
34         PROP_PARENT
35 };
36
37 enum {
38         CLOSED,
39         MOVED,
40         N_SIGNALS
41 };
42
43 struct _EvAnnotationWindow {
44         GtkWindow     base_instance;
45
46         EvAnnotation *annotation;
47         GtkWindow    *parent;
48
49         GtkWidget    *title;
50         GtkWidget    *close_button;
51         GtkWidget    *text_view;
52         GtkWidget    *resize_se;
53         GtkWidget    *resize_sw;
54
55         gboolean      is_open;
56         EvRectangle   rect;
57
58         gboolean      in_move;
59         gint          x;
60         gint          y;
61         gint          orig_x;
62         gint          orig_y;
63 };
64
65 struct _EvAnnotationWindowClass {
66         GtkWindowClass base_class;
67
68         void (* closed) (EvAnnotationWindow *window);
69         void (* moved)  (EvAnnotationWindow *window,
70                          gint                x,
71                          gint                y);
72 };
73
74 static guint signals[N_SIGNALS];
75
76 G_DEFINE_TYPE (EvAnnotationWindow, ev_annotation_window, GTK_TYPE_WINDOW)
77
78 #define EV_ICON_SIZE_ANNOT_WINDOW (ev_annotation_window_get_icon_size())
79
80 /* Cut and paste from gtkwindow.c */
81 static void
82 send_focus_change (GtkWidget *widget,
83                    gboolean   in)
84 {
85         GdkEvent *fevent = gdk_event_new (GDK_FOCUS_CHANGE);
86
87         fevent->focus_change.type = GDK_FOCUS_CHANGE;
88         fevent->focus_change.window = gtk_widget_get_window (widget);
89         fevent->focus_change.in = in;
90         if (fevent->focus_change.window)
91                 g_object_ref (fevent->focus_change.window);
92
93         gtk_widget_send_focus_change (widget, fevent);
94
95         gdk_event_free (fevent);
96 }
97
98 static gdouble
99 get_screen_dpi (EvAnnotationWindow *window)
100 {
101         GdkScreen *screen;
102
103         screen = gtk_window_get_screen (GTK_WINDOW (window));
104         return ev_document_misc_get_screen_dpi (screen);
105 }
106
107 static GtkIconSize
108 ev_annotation_window_get_icon_size (void)
109 {
110         static GtkIconSize icon_size = 0;
111
112         if (G_UNLIKELY (icon_size == 0))
113                 icon_size = gtk_icon_size_register ("ev-icon-size-annot-window", 8, 8);
114
115         return icon_size;
116 }
117
118 static void
119 ev_annotation_window_sync_contents (EvAnnotationWindow *window)
120 {
121         gchar         *contents;
122         GtkTextIter    start, end;
123         GtkTextBuffer *buffer;
124         EvAnnotation  *annot = window->annotation;
125
126         buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (window->text_view));
127         gtk_text_buffer_get_bounds (buffer, &start, &end);
128         contents = gtk_text_buffer_get_text (buffer, &start, &end, FALSE);
129         ev_annotation_set_contents (annot, contents);
130         g_free (contents);
131 }
132
133 static void
134 ev_annotation_window_set_color (EvAnnotationWindow *window,
135                                 GdkColor           *color)
136 {
137         GtkRcStyle *rc_style;
138         GdkColor    gcolor;
139
140         gcolor = *color;
141
142         /* Allocate these colors */
143         gdk_colormap_alloc_color (gtk_widget_get_colormap (GTK_WIDGET (window)),
144                                   &gcolor, FALSE, TRUE);
145
146         /* Apply colors to style */
147         rc_style = gtk_widget_get_modifier_style (GTK_WIDGET (window));
148         rc_style->base[GTK_STATE_NORMAL] = gcolor;
149         rc_style->bg[GTK_STATE_PRELIGHT] = gcolor;
150         rc_style->bg[GTK_STATE_NORMAL] = gcolor;
151         rc_style->bg[GTK_STATE_ACTIVE] = gcolor;
152         rc_style->color_flags[GTK_STATE_PRELIGHT] = GTK_RC_BG;
153         rc_style->color_flags[GTK_STATE_NORMAL] = GTK_RC_BG | GTK_RC_BASE;
154         rc_style->color_flags[GTK_STATE_ACTIVE] = GTK_RC_BG;
155
156         /* Apply the style to the widgets */
157         g_object_ref (rc_style);
158         gtk_widget_modify_style (GTK_WIDGET (window), rc_style);
159         gtk_widget_modify_style (window->close_button, rc_style);
160         gtk_widget_modify_style (window->resize_se, rc_style);
161         gtk_widget_modify_style (window->resize_sw, rc_style);
162         g_object_unref (rc_style);
163 }
164
165 static void
166 ev_annotation_window_label_changed (EvAnnotationMarkup *annot,
167                                     GParamSpec         *pspec,
168                                     EvAnnotationWindow *window)
169 {
170         const gchar *label = ev_annotation_markup_get_label (annot);
171
172         gtk_window_set_title (GTK_WINDOW (window), label);
173         gtk_label_set_text (GTK_LABEL (window->title), label);
174 }
175
176 static void
177 ev_annotation_window_color_changed (EvAnnotation       *annot,
178                                     GParamSpec         *pspec,
179                                     EvAnnotationWindow *window)
180 {
181         GdkColor color;
182
183         ev_annotation_get_color (annot, &color);
184         ev_annotation_window_set_color (window, &color);
185 }
186
187 static void
188 ev_annotation_window_dispose (GObject *object)
189 {
190         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (object);
191
192         if (window->annotation) {
193                 ev_annotation_window_sync_contents (window);
194                 g_object_unref (window->annotation);
195                 window->annotation = NULL;
196         }
197
198         (* G_OBJECT_CLASS (ev_annotation_window_parent_class)->dispose) (object);
199 }
200
201 static void
202 ev_annotation_window_set_property (GObject      *object,
203                                    guint         prop_id,
204                                    const GValue *value,
205                                    GParamSpec   *pspec)
206 {
207         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (object);
208
209         switch (prop_id) {
210         case PROP_ANNOTATION:
211                 window->annotation = g_value_dup_object (value);
212                 break;
213         case PROP_PARENT:
214                 window->parent = g_value_get_object (value);
215                 break;
216         default:
217                 G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);
218         }
219 }
220
221 static gboolean
222 ev_annotation_window_resize (EvAnnotationWindow *window,
223                              GdkEventButton     *event,
224                              GtkWidget          *ebox)
225 {
226         if (event->type == GDK_BUTTON_PRESS && event->button == 1) {
227                 gtk_window_begin_resize_drag (GTK_WINDOW (window),
228                                               window->resize_sw == ebox ?
229                                               GDK_WINDOW_EDGE_SOUTH_WEST :
230                                               GDK_WINDOW_EDGE_SOUTH_EAST,
231                                               event->button, event->x_root,
232                                               event->y_root, event->time);
233                 return TRUE;
234         }
235
236         return FALSE;
237 }
238
239 static void
240 ev_annotation_window_set_resize_cursor (GtkWidget          *widget,
241                                         EvAnnotationWindow *window)
242 {
243         GdkWindow *gdk_window = gtk_widget_get_window (widget);
244
245         if (!gdk_window)
246                 return;
247
248         if (gtk_widget_is_sensitive (widget)) {
249                 GdkDisplay *display = gtk_widget_get_display (widget);
250                 GdkCursor  *cursor;
251
252                 cursor = gdk_cursor_new_for_display (display,
253                                                      widget == window->resize_sw ?
254                                                      GDK_BOTTOM_LEFT_CORNER :
255                                                      GDK_BOTTOM_RIGHT_CORNER);
256                 gdk_window_set_cursor (gdk_window, cursor);
257                 gdk_cursor_unref (cursor);
258         } else {
259                 gdk_window_set_cursor (gdk_window, NULL);
260         }
261 }
262
263 static gboolean
264 text_view_button_press (GtkWidget          *widget,
265                         GdkEventButton     *event,
266                         EvAnnotationWindow *window)
267 {
268         ev_annotation_window_grab_focus (window);
269
270         return FALSE;
271 }
272
273 static void
274 ev_annotation_window_close (EvAnnotationWindow *window)
275 {
276         gtk_widget_hide (GTK_WIDGET (window));
277         g_signal_emit (window, signals[CLOSED], 0);
278 }
279
280 static void
281 ev_annotation_window_init (EvAnnotationWindow *window)
282 {
283         GtkWidget *vbox, *hbox;
284         GtkWidget *icon;
285         GtkWidget *swindow;
286
287         gtk_widget_set_can_focus (GTK_WIDGET (window), TRUE);
288
289         vbox = gtk_vbox_new (FALSE, 0);
290
291         /* Title bar */
292         hbox = gtk_hbox_new (FALSE, 0);
293
294         icon = gtk_image_new (); /* FIXME: use the annot icon */
295         gtk_box_pack_start (GTK_BOX (hbox), icon, FALSE, FALSE, 0);
296         gtk_widget_show (icon);
297
298         window->title = gtk_label_new (NULL);
299         gtk_box_pack_start (GTK_BOX (hbox), window->title, TRUE, TRUE, 0);
300         gtk_widget_show (window->title);
301
302         window->close_button = gtk_button_new ();
303         gtk_button_set_relief (GTK_BUTTON (window->close_button), GTK_RELIEF_NONE);
304         gtk_container_set_border_width (GTK_CONTAINER (window->close_button), 0);
305         g_signal_connect_swapped (window->close_button, "clicked",
306                                   G_CALLBACK (ev_annotation_window_close),
307                                   window);
308         icon = gtk_image_new_from_stock (EV_STOCK_CLOSE, EV_ICON_SIZE_ANNOT_WINDOW);
309         gtk_container_add (GTK_CONTAINER (window->close_button), icon);
310         gtk_widget_show (icon);
311
312         gtk_box_pack_start (GTK_BOX (hbox), window->close_button, FALSE, FALSE, 0);
313         gtk_widget_show (window->close_button);
314
315         gtk_box_pack_start (GTK_BOX (vbox), hbox, FALSE, FALSE, 0);
316         gtk_widget_show (hbox);
317
318         /* Contents */
319         swindow = gtk_scrolled_window_new (NULL, NULL);
320         gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (swindow),
321                                         GTK_POLICY_AUTOMATIC,
322                                         GTK_POLICY_AUTOMATIC);
323         window->text_view = gtk_text_view_new ();
324         gtk_text_view_set_wrap_mode (GTK_TEXT_VIEW (window->text_view), GTK_WRAP_WORD);
325         g_signal_connect (window->text_view, "button_press_event",
326                           G_CALLBACK (text_view_button_press),
327                           window);
328         gtk_container_add (GTK_CONTAINER (swindow), window->text_view);
329         gtk_widget_show (window->text_view);
330
331         gtk_box_pack_start (GTK_BOX (vbox), swindow, TRUE, TRUE, 0);
332         gtk_widget_show (swindow);
333
334         /* Resize bar */
335         hbox = gtk_hbox_new (FALSE, 0);
336
337         window->resize_sw = gtk_event_box_new ();
338         gtk_widget_add_events (window->resize_sw, GDK_BUTTON_PRESS_MASK);
339         g_signal_connect_swapped (window->resize_sw, "button-press-event",
340                                   G_CALLBACK (ev_annotation_window_resize),
341                                   window);
342         g_signal_connect (window->resize_sw, "realize",
343                           G_CALLBACK (ev_annotation_window_set_resize_cursor),
344                           window);
345
346         icon = gtk_image_new_from_stock (EV_STOCK_RESIZE_SW, EV_ICON_SIZE_ANNOT_WINDOW);
347         gtk_container_add (GTK_CONTAINER (window->resize_sw), icon);
348         gtk_widget_show (icon);
349         gtk_box_pack_start (GTK_BOX (hbox), window->resize_sw, FALSE, FALSE, 0);
350         gtk_widget_show (window->resize_sw);
351
352         window->resize_se = gtk_event_box_new ();
353         gtk_widget_add_events (window->resize_se, GDK_BUTTON_PRESS_MASK);
354         g_signal_connect_swapped (window->resize_se, "button-press-event",
355                                   G_CALLBACK (ev_annotation_window_resize),
356                                   window);
357         g_signal_connect (window->resize_se, "realize",
358                           G_CALLBACK (ev_annotation_window_set_resize_cursor),
359                           window);
360
361         icon = gtk_image_new_from_stock (EV_STOCK_RESIZE_SE, EV_ICON_SIZE_ANNOT_WINDOW);
362         gtk_container_add (GTK_CONTAINER (window->resize_se), icon);
363         gtk_widget_show (icon);
364         gtk_box_pack_end (GTK_BOX (hbox), window->resize_se, FALSE, FALSE, 0);
365         gtk_widget_show (window->resize_se);
366
367         gtk_box_pack_start (GTK_BOX (vbox), hbox, FALSE, FALSE, 0);
368         gtk_widget_show (hbox);
369
370         gtk_container_add (GTK_CONTAINER (window), vbox);
371         gtk_container_set_border_width (GTK_CONTAINER (window), 0);
372         gtk_widget_show (vbox);
373
374         gtk_widget_add_events (GTK_WIDGET (window),
375                                GDK_BUTTON_PRESS_MASK |
376                                GDK_KEY_PRESS_MASK);
377         gtk_widget_set_app_paintable (GTK_WIDGET (window), TRUE);
378
379         gtk_container_set_border_width (GTK_CONTAINER (window), 2);
380
381         gtk_window_set_accept_focus (GTK_WINDOW (window), TRUE);
382         gtk_window_set_decorated (GTK_WINDOW (window), FALSE);
383         gtk_window_set_skip_taskbar_hint (GTK_WINDOW (window), TRUE);
384         gtk_window_set_skip_pager_hint (GTK_WINDOW (window), TRUE);
385         gtk_window_set_resizable (GTK_WINDOW (window), TRUE);
386 }
387
388 static GObject *
389 ev_annotation_window_constructor (GType                  type,
390                                   guint                  n_construct_properties,
391                                   GObjectConstructParam *construct_params)
392 {
393         GObject            *object;
394         EvAnnotationWindow *window;
395         EvAnnotation       *annot;
396         EvAnnotationMarkup *markup;
397         const gchar        *contents;
398         const gchar        *label;
399         GdkColor            color;
400         EvRectangle        *rect;
401         gdouble             scale;
402
403         object = G_OBJECT_CLASS (ev_annotation_window_parent_class)->constructor (type,
404                                                                                   n_construct_properties,
405                                                                                   construct_params);
406         window = EV_ANNOTATION_WINDOW (object);
407         annot = window->annotation;
408         markup = EV_ANNOTATION_MARKUP (annot);
409
410         gtk_window_set_transient_for (GTK_WINDOW (window), window->parent);
411         gtk_window_set_destroy_with_parent (GTK_WINDOW (window), FALSE);
412
413         label = ev_annotation_markup_get_label (markup);
414         window->is_open = ev_annotation_markup_get_popup_is_open (markup);
415         ev_annotation_markup_get_rectangle (markup, &window->rect);
416
417         rect = &window->rect;
418
419         /* Rectangle is at doc resolution (72.0) */
420         scale = get_screen_dpi (window) / 72.0;
421         gtk_window_resize (GTK_WINDOW (window),
422                            (gint)((rect->x2 - rect->x1) * scale),
423                            (gint)((rect->y2 - rect->y1) * scale));
424
425         ev_annotation_get_color (annot, &color);
426         ev_annotation_window_set_color (window, &color);
427         gtk_widget_set_name (GTK_WIDGET (window), ev_annotation_get_name (annot));
428         gtk_window_set_title (GTK_WINDOW (window), label);
429         gtk_label_set_text (GTK_LABEL (window->title), label);
430
431         contents = ev_annotation_get_contents (annot);
432         if (contents) {
433                 GtkTextBuffer *buffer;
434
435                 buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (window->text_view));
436                 gtk_text_buffer_set_text (buffer, contents, -1);
437         }
438
439         g_signal_connect (annot, "notify::label",
440                           G_CALLBACK (ev_annotation_window_label_changed),
441                           window);
442         g_signal_connect (annot, "notify::color",
443                           G_CALLBACK (ev_annotation_window_color_changed),
444                           window);
445
446         return object;
447 }
448
449 static gboolean
450 ev_annotation_window_button_press_event (GtkWidget      *widget,
451                                          GdkEventButton *event)
452 {
453         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
454
455         if (event->type == GDK_BUTTON_PRESS && event->button == 1) {
456                 window->in_move = TRUE;
457                 window->x = event->x;
458                 window->y = event->y;
459                 gtk_window_begin_move_drag (GTK_WINDOW (widget),
460                                             event->button,
461                                             event->x_root,
462                                             event->y_root,
463                                             event->time);
464                 return TRUE;
465         }
466
467         return FALSE;
468 }
469
470 static gboolean
471 ev_annotation_window_configure_event (GtkWidget         *widget,
472                                       GdkEventConfigure *event)
473 {
474         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
475
476         if (window->in_move &&
477             (window->x != event->x || window->y != event->y)) {
478                 window->x = event->x;
479                 window->y = event->y;
480         }
481
482         return GTK_WIDGET_CLASS (ev_annotation_window_parent_class)->configure_event (widget, event);
483 }
484
485 static gboolean
486 ev_annotation_window_focus_in_event (GtkWidget     *widget,
487                                      GdkEventFocus *event)
488 {
489         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
490
491         if (window->in_move) {
492                 if (window->orig_x != window->x || window->orig_y != window->y) {
493                         window->orig_x = window->x;
494                         window->orig_y = window->y;
495                         g_signal_emit (window, signals[MOVED], 0, window->x, window->y);
496                 }
497                 window->in_move = FALSE;
498         }
499
500         return FALSE;
501 }
502
503 static gboolean
504 ev_annotation_window_focus_out_event (GtkWidget     *widget,
505                                       GdkEventFocus *event)
506 {
507         EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
508
509         ev_annotation_window_sync_contents (window);
510
511         return FALSE;
512 }
513
514 static void
515 ev_annotation_window_class_init (EvAnnotationWindowClass *klass)
516 {
517         GObjectClass   *g_object_class = G_OBJECT_CLASS (klass);
518         GtkWidgetClass *gtk_widget_class = GTK_WIDGET_CLASS (klass);
519
520         g_object_class->constructor = ev_annotation_window_constructor;
521         g_object_class->set_property = ev_annotation_window_set_property;
522         g_object_class->dispose = ev_annotation_window_dispose;
523
524         gtk_widget_class->button_press_event = ev_annotation_window_button_press_event;
525         gtk_widget_class->configure_event = ev_annotation_window_configure_event;
526         gtk_widget_class->focus_in_event = ev_annotation_window_focus_in_event;
527         gtk_widget_class->focus_out_event = ev_annotation_window_focus_out_event;
528
529         g_object_class_install_property (g_object_class,
530                                          PROP_ANNOTATION,
531                                          g_param_spec_object ("annotation",
532                                                               "Annotation",
533                                                               "The annotation associated to the window",
534                                                               EV_TYPE_ANNOTATION_MARKUP,
535                                                               G_PARAM_WRITABLE |
536                                                               G_PARAM_CONSTRUCT_ONLY));
537         g_object_class_install_property (g_object_class,
538                                          PROP_PARENT,
539                                          g_param_spec_object ("parent",
540                                                               "Parent",
541                                                               "The parent window",
542                                                               GTK_TYPE_WINDOW,
543                                                               G_PARAM_WRITABLE |
544                                                               G_PARAM_CONSTRUCT_ONLY));
545         signals[CLOSED] =
546                 g_signal_new ("closed",
547                               G_TYPE_FROM_CLASS (g_object_class),
548                               G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
549                               G_STRUCT_OFFSET (EvAnnotationWindowClass, closed),
550                               NULL, NULL,
551                               g_cclosure_marshal_VOID__VOID,
552                               G_TYPE_NONE, 0, G_TYPE_NONE);
553         signals[MOVED] =
554                 g_signal_new ("moved",
555                               G_TYPE_FROM_CLASS (g_object_class),
556                               G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
557                               G_STRUCT_OFFSET (EvAnnotationWindowClass, moved),
558                               NULL, NULL,
559                               ev_view_marshal_VOID__INT_INT,
560                               G_TYPE_NONE, 2,
561                               G_TYPE_INT, G_TYPE_INT);
562 }
563
564 /* Public methods */
565 GtkWidget *
566 ev_annotation_window_new (EvAnnotation *annot,
567                           GtkWindow    *parent)
568 {
569         GtkWidget *window;
570
571         g_return_val_if_fail (EV_IS_ANNOTATION_MARKUP (annot), NULL);
572         g_return_val_if_fail (GTK_IS_WINDOW (parent), NULL);
573
574         window = g_object_new (EV_TYPE_ANNOTATION_WINDOW,
575                                "annotation", annot,
576                                "parent", parent,
577                                NULL);
578         return window;
579 }
580
581 EvAnnotation *
582 ev_annotation_window_get_annotation (EvAnnotationWindow *window)
583 {
584         g_return_val_if_fail (EV_IS_ANNOTATION_WINDOW (window), NULL);
585
586         return window->annotation;
587 }
588
589 void
590 ev_annotation_window_set_annotation (EvAnnotationWindow *window,
591                                      EvAnnotation       *annot)
592 {
593         g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
594         g_return_if_fail (EV_IS_ANNOTATION (annot));
595
596         if (annot == window->annotation)
597                 return;
598
599         g_object_unref (window->annotation);
600         window->annotation = g_object_ref (annot);
601         ev_annotation_window_sync_contents (window);
602         g_object_notify (G_OBJECT (window), "annotation");
603 }
604
605 gboolean
606 ev_annotation_window_is_open (EvAnnotationWindow *window)
607 {
608         g_return_val_if_fail (EV_IS_ANNOTATION_WINDOW (window), FALSE);
609
610         return window->is_open;
611 }
612
613 void
614 ev_annotation_window_get_rectangle (EvAnnotationWindow *window,
615                                     EvRectangle        *rect)
616 {
617         g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
618         g_return_if_fail (rect != NULL);
619
620         *rect = window->rect;
621 }
622
623 void
624 ev_annotation_window_set_rectangle (EvAnnotationWindow *window,
625                                     const EvRectangle  *rect)
626 {
627         g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
628         g_return_if_fail (rect != NULL);
629
630         window->rect = *rect;
631 }
632
633 void
634 ev_annotation_window_grab_focus (EvAnnotationWindow *window)
635 {
636         g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
637
638         if (!gtk_widget_has_focus (window->text_view)) {
639                 gtk_widget_grab_focus (GTK_WIDGET (window));
640                 send_focus_change (window->text_view, TRUE);
641         }
642 }
643
644 void
645 ev_annotation_window_ungrab_focus (EvAnnotationWindow *window)
646 {
647         g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
648
649         if (gtk_widget_has_focus (window->text_view)) {
650                 send_focus_change (window->text_view, FALSE);
651         }
652
653         ev_annotation_window_sync_contents (window);
654 }