summaryrefslogtreecommitdiff
path: root/libview/ev-annotation-window.c
diff options
context:
space:
mode:
Diffstat (limited to 'libview/ev-annotation-window.c')
-rw-r--r--libview/ev-annotation-window.c654
1 files changed, 654 insertions, 0 deletions
diff --git a/libview/ev-annotation-window.c b/libview/ev-annotation-window.c
new file mode 100644
index 00000000..6ecfafc6
--- /dev/null
+++ b/libview/ev-annotation-window.c
@@ -0,0 +1,654 @@
+/* ev-annotation-window.c
+ * this file is part of evince, a mate document viewer
+ *
+ * Copyright (C) 2009 Carlos Garcia Campos <[email protected]>
+ * Copyright (C) 2007 IƱigo Martinez <[email protected]>
+ *
+ * Evince is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * Evince is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ * General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
+ */
+
+#include "config.h"
+
+#include <string.h>
+
+#include "ev-annotation-window.h"
+#include "ev-stock-icons.h"
+#include "ev-view-marshal.h"
+#include "ev-document-misc.h"
+
+enum {
+ PROP_0,
+ PROP_ANNOTATION,
+ PROP_PARENT
+};
+
+enum {
+ CLOSED,
+ MOVED,
+ N_SIGNALS
+};
+
+struct _EvAnnotationWindow {
+ GtkWindow base_instance;
+
+ EvAnnotation *annotation;
+ GtkWindow *parent;
+
+ GtkWidget *title;
+ GtkWidget *close_button;
+ GtkWidget *text_view;
+ GtkWidget *resize_se;
+ GtkWidget *resize_sw;
+
+ gboolean is_open;
+ EvRectangle rect;
+
+ gboolean in_move;
+ gint x;
+ gint y;
+ gint orig_x;
+ gint orig_y;
+};
+
+struct _EvAnnotationWindowClass {
+ GtkWindowClass base_class;
+
+ void (* closed) (EvAnnotationWindow *window);
+ void (* moved) (EvAnnotationWindow *window,
+ gint x,
+ gint y);
+};
+
+static guint signals[N_SIGNALS];
+
+G_DEFINE_TYPE (EvAnnotationWindow, ev_annotation_window, GTK_TYPE_WINDOW)
+
+#define EV_ICON_SIZE_ANNOT_WINDOW (ev_annotation_window_get_icon_size())
+
+/* Cut and paste from gtkwindow.c */
+static void
+send_focus_change (GtkWidget *widget,
+ gboolean in)
+{
+ GdkEvent *fevent = gdk_event_new (GDK_FOCUS_CHANGE);
+
+ fevent->focus_change.type = GDK_FOCUS_CHANGE;
+ fevent->focus_change.window = gtk_widget_get_window (widget);
+ fevent->focus_change.in = in;
+ if (fevent->focus_change.window)
+ g_object_ref (fevent->focus_change.window);
+
+ gtk_widget_send_focus_change (widget, fevent);
+
+ gdk_event_free (fevent);
+}
+
+static gdouble
+get_screen_dpi (EvAnnotationWindow *window)
+{
+ GdkScreen *screen;
+
+ screen = gtk_window_get_screen (GTK_WINDOW (window));
+ return ev_document_misc_get_screen_dpi (screen);
+}
+
+static GtkIconSize
+ev_annotation_window_get_icon_size (void)
+{
+ static GtkIconSize icon_size = 0;
+
+ if (G_UNLIKELY (icon_size == 0))
+ icon_size = gtk_icon_size_register ("ev-icon-size-annot-window", 8, 8);
+
+ return icon_size;
+}
+
+static void
+ev_annotation_window_sync_contents (EvAnnotationWindow *window)
+{
+ gchar *contents;
+ GtkTextIter start, end;
+ GtkTextBuffer *buffer;
+ EvAnnotation *annot = window->annotation;
+
+ buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (window->text_view));
+ gtk_text_buffer_get_bounds (buffer, &start, &end);
+ contents = gtk_text_buffer_get_text (buffer, &start, &end, FALSE);
+ ev_annotation_set_contents (annot, contents);
+ g_free (contents);
+}
+
+static void
+ev_annotation_window_set_color (EvAnnotationWindow *window,
+ GdkColor *color)
+{
+ GtkRcStyle *rc_style;
+ GdkColor gcolor;
+
+ gcolor = *color;
+
+ /* Allocate these colors */
+ gdk_colormap_alloc_color (gtk_widget_get_colormap (GTK_WIDGET (window)),
+ &gcolor, FALSE, TRUE);
+
+ /* Apply colors to style */
+ rc_style = gtk_widget_get_modifier_style (GTK_WIDGET (window));
+ rc_style->base[GTK_STATE_NORMAL] = gcolor;
+ rc_style->bg[GTK_STATE_PRELIGHT] = gcolor;
+ rc_style->bg[GTK_STATE_NORMAL] = gcolor;
+ rc_style->bg[GTK_STATE_ACTIVE] = gcolor;
+ rc_style->color_flags[GTK_STATE_PRELIGHT] = GTK_RC_BG;
+ rc_style->color_flags[GTK_STATE_NORMAL] = GTK_RC_BG | GTK_RC_BASE;
+ rc_style->color_flags[GTK_STATE_ACTIVE] = GTK_RC_BG;
+
+ /* Apply the style to the widgets */
+ g_object_ref (rc_style);
+ gtk_widget_modify_style (GTK_WIDGET (window), rc_style);
+ gtk_widget_modify_style (window->close_button, rc_style);
+ gtk_widget_modify_style (window->resize_se, rc_style);
+ gtk_widget_modify_style (window->resize_sw, rc_style);
+ g_object_unref (rc_style);
+}
+
+static void
+ev_annotation_window_label_changed (EvAnnotationMarkup *annot,
+ GParamSpec *pspec,
+ EvAnnotationWindow *window)
+{
+ const gchar *label = ev_annotation_markup_get_label (annot);
+
+ gtk_window_set_title (GTK_WINDOW (window), label);
+ gtk_label_set_text (GTK_LABEL (window->title), label);
+}
+
+static void
+ev_annotation_window_color_changed (EvAnnotation *annot,
+ GParamSpec *pspec,
+ EvAnnotationWindow *window)
+{
+ GdkColor color;
+
+ ev_annotation_get_color (annot, &color);
+ ev_annotation_window_set_color (window, &color);
+}
+
+static void
+ev_annotation_window_dispose (GObject *object)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (object);
+
+ if (window->annotation) {
+ ev_annotation_window_sync_contents (window);
+ g_object_unref (window->annotation);
+ window->annotation = NULL;
+ }
+
+ (* G_OBJECT_CLASS (ev_annotation_window_parent_class)->dispose) (object);
+}
+
+static void
+ev_annotation_window_set_property (GObject *object,
+ guint prop_id,
+ const GValue *value,
+ GParamSpec *pspec)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (object);
+
+ switch (prop_id) {
+ case PROP_ANNOTATION:
+ window->annotation = g_value_dup_object (value);
+ break;
+ case PROP_PARENT:
+ window->parent = g_value_get_object (value);
+ break;
+ default:
+ G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);
+ }
+}
+
+static gboolean
+ev_annotation_window_resize (EvAnnotationWindow *window,
+ GdkEventButton *event,
+ GtkWidget *ebox)
+{
+ if (event->type == GDK_BUTTON_PRESS && event->button == 1) {
+ gtk_window_begin_resize_drag (GTK_WINDOW (window),
+ window->resize_sw == ebox ?
+ GDK_WINDOW_EDGE_SOUTH_WEST :
+ GDK_WINDOW_EDGE_SOUTH_EAST,
+ event->button, event->x_root,
+ event->y_root, event->time);
+ return TRUE;
+ }
+
+ return FALSE;
+}
+
+static void
+ev_annotation_window_set_resize_cursor (GtkWidget *widget,
+ EvAnnotationWindow *window)
+{
+ GdkWindow *gdk_window = gtk_widget_get_window (widget);
+
+ if (!gdk_window)
+ return;
+
+ if (gtk_widget_is_sensitive (widget)) {
+ GdkDisplay *display = gtk_widget_get_display (widget);
+ GdkCursor *cursor;
+
+ cursor = gdk_cursor_new_for_display (display,
+ widget == window->resize_sw ?
+ GDK_BOTTOM_LEFT_CORNER :
+ GDK_BOTTOM_RIGHT_CORNER);
+ gdk_window_set_cursor (gdk_window, cursor);
+ gdk_cursor_unref (cursor);
+ } else {
+ gdk_window_set_cursor (gdk_window, NULL);
+ }
+}
+
+static gboolean
+text_view_button_press (GtkWidget *widget,
+ GdkEventButton *event,
+ EvAnnotationWindow *window)
+{
+ ev_annotation_window_grab_focus (window);
+
+ return FALSE;
+}
+
+static void
+ev_annotation_window_close (EvAnnotationWindow *window)
+{
+ gtk_widget_hide (GTK_WIDGET (window));
+ g_signal_emit (window, signals[CLOSED], 0);
+}
+
+static void
+ev_annotation_window_init (EvAnnotationWindow *window)
+{
+ GtkWidget *vbox, *hbox;
+ GtkWidget *icon;
+ GtkWidget *swindow;
+
+ gtk_widget_set_can_focus (GTK_WIDGET (window), TRUE);
+
+ vbox = gtk_vbox_new (FALSE, 0);
+
+ /* Title bar */
+ hbox = gtk_hbox_new (FALSE, 0);
+
+ icon = gtk_image_new (); /* FIXME: use the annot icon */
+ gtk_box_pack_start (GTK_BOX (hbox), icon, FALSE, FALSE, 0);
+ gtk_widget_show (icon);
+
+ window->title = gtk_label_new (NULL);
+ gtk_box_pack_start (GTK_BOX (hbox), window->title, TRUE, TRUE, 0);
+ gtk_widget_show (window->title);
+
+ window->close_button = gtk_button_new ();
+ gtk_button_set_relief (GTK_BUTTON (window->close_button), GTK_RELIEF_NONE);
+ gtk_container_set_border_width (GTK_CONTAINER (window->close_button), 0);
+ g_signal_connect_swapped (window->close_button, "clicked",
+ G_CALLBACK (ev_annotation_window_close),
+ window);
+ icon = gtk_image_new_from_stock (EV_STOCK_CLOSE, EV_ICON_SIZE_ANNOT_WINDOW);
+ gtk_container_add (GTK_CONTAINER (window->close_button), icon);
+ gtk_widget_show (icon);
+
+ gtk_box_pack_start (GTK_BOX (hbox), window->close_button, FALSE, FALSE, 0);
+ gtk_widget_show (window->close_button);
+
+ gtk_box_pack_start (GTK_BOX (vbox), hbox, FALSE, FALSE, 0);
+ gtk_widget_show (hbox);
+
+ /* Contents */
+ swindow = gtk_scrolled_window_new (NULL, NULL);
+ gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (swindow),
+ GTK_POLICY_AUTOMATIC,
+ GTK_POLICY_AUTOMATIC);
+ window->text_view = gtk_text_view_new ();
+ gtk_text_view_set_wrap_mode (GTK_TEXT_VIEW (window->text_view), GTK_WRAP_WORD);
+ g_signal_connect (window->text_view, "button_press_event",
+ G_CALLBACK (text_view_button_press),
+ window);
+ gtk_container_add (GTK_CONTAINER (swindow), window->text_view);
+ gtk_widget_show (window->text_view);
+
+ gtk_box_pack_start (GTK_BOX (vbox), swindow, TRUE, TRUE, 0);
+ gtk_widget_show (swindow);
+
+ /* Resize bar */
+ hbox = gtk_hbox_new (FALSE, 0);
+
+ window->resize_sw = gtk_event_box_new ();
+ gtk_widget_add_events (window->resize_sw, GDK_BUTTON_PRESS_MASK);
+ g_signal_connect_swapped (window->resize_sw, "button-press-event",
+ G_CALLBACK (ev_annotation_window_resize),
+ window);
+ g_signal_connect (window->resize_sw, "realize",
+ G_CALLBACK (ev_annotation_window_set_resize_cursor),
+ window);
+
+ icon = gtk_image_new_from_stock (EV_STOCK_RESIZE_SW, EV_ICON_SIZE_ANNOT_WINDOW);
+ gtk_container_add (GTK_CONTAINER (window->resize_sw), icon);
+ gtk_widget_show (icon);
+ gtk_box_pack_start (GTK_BOX (hbox), window->resize_sw, FALSE, FALSE, 0);
+ gtk_widget_show (window->resize_sw);
+
+ window->resize_se = gtk_event_box_new ();
+ gtk_widget_add_events (window->resize_se, GDK_BUTTON_PRESS_MASK);
+ g_signal_connect_swapped (window->resize_se, "button-press-event",
+ G_CALLBACK (ev_annotation_window_resize),
+ window);
+ g_signal_connect (window->resize_se, "realize",
+ G_CALLBACK (ev_annotation_window_set_resize_cursor),
+ window);
+
+ icon = gtk_image_new_from_stock (EV_STOCK_RESIZE_SE, EV_ICON_SIZE_ANNOT_WINDOW);
+ gtk_container_add (GTK_CONTAINER (window->resize_se), icon);
+ gtk_widget_show (icon);
+ gtk_box_pack_end (GTK_BOX (hbox), window->resize_se, FALSE, FALSE, 0);
+ gtk_widget_show (window->resize_se);
+
+ gtk_box_pack_start (GTK_BOX (vbox), hbox, FALSE, FALSE, 0);
+ gtk_widget_show (hbox);
+
+ gtk_container_add (GTK_CONTAINER (window), vbox);
+ gtk_container_set_border_width (GTK_CONTAINER (window), 0);
+ gtk_widget_show (vbox);
+
+ gtk_widget_add_events (GTK_WIDGET (window),
+ GDK_BUTTON_PRESS_MASK |
+ GDK_KEY_PRESS_MASK);
+ gtk_widget_set_app_paintable (GTK_WIDGET (window), TRUE);
+
+ gtk_container_set_border_width (GTK_CONTAINER (window), 2);
+
+ gtk_window_set_accept_focus (GTK_WINDOW (window), TRUE);
+ gtk_window_set_decorated (GTK_WINDOW (window), FALSE);
+ gtk_window_set_skip_taskbar_hint (GTK_WINDOW (window), TRUE);
+ gtk_window_set_skip_pager_hint (GTK_WINDOW (window), TRUE);
+ gtk_window_set_resizable (GTK_WINDOW (window), TRUE);
+}
+
+static GObject *
+ev_annotation_window_constructor (GType type,
+ guint n_construct_properties,
+ GObjectConstructParam *construct_params)
+{
+ GObject *object;
+ EvAnnotationWindow *window;
+ EvAnnotation *annot;
+ EvAnnotationMarkup *markup;
+ const gchar *contents;
+ const gchar *label;
+ GdkColor color;
+ EvRectangle *rect;
+ gdouble scale;
+
+ object = G_OBJECT_CLASS (ev_annotation_window_parent_class)->constructor (type,
+ n_construct_properties,
+ construct_params);
+ window = EV_ANNOTATION_WINDOW (object);
+ annot = window->annotation;
+ markup = EV_ANNOTATION_MARKUP (annot);
+
+ gtk_window_set_transient_for (GTK_WINDOW (window), window->parent);
+ gtk_window_set_destroy_with_parent (GTK_WINDOW (window), FALSE);
+
+ label = ev_annotation_markup_get_label (markup);
+ window->is_open = ev_annotation_markup_get_popup_is_open (markup);
+ ev_annotation_markup_get_rectangle (markup, &window->rect);
+
+ rect = &window->rect;
+
+ /* Rectangle is at doc resolution (72.0) */
+ scale = get_screen_dpi (window) / 72.0;
+ gtk_window_resize (GTK_WINDOW (window),
+ (gint)((rect->x2 - rect->x1) * scale),
+ (gint)((rect->y2 - rect->y1) * scale));
+
+ ev_annotation_get_color (annot, &color);
+ ev_annotation_window_set_color (window, &color);
+ gtk_widget_set_name (GTK_WIDGET (window), ev_annotation_get_name (annot));
+ gtk_window_set_title (GTK_WINDOW (window), label);
+ gtk_label_set_text (GTK_LABEL (window->title), label);
+
+ contents = ev_annotation_get_contents (annot);
+ if (contents) {
+ GtkTextBuffer *buffer;
+
+ buffer = gtk_text_view_get_buffer (GTK_TEXT_VIEW (window->text_view));
+ gtk_text_buffer_set_text (buffer, contents, -1);
+ }
+
+ g_signal_connect (annot, "notify::label",
+ G_CALLBACK (ev_annotation_window_label_changed),
+ window);
+ g_signal_connect (annot, "notify::color",
+ G_CALLBACK (ev_annotation_window_color_changed),
+ window);
+
+ return object;
+}
+
+static gboolean
+ev_annotation_window_button_press_event (GtkWidget *widget,
+ GdkEventButton *event)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
+
+ if (event->type == GDK_BUTTON_PRESS && event->button == 1) {
+ window->in_move = TRUE;
+ window->x = event->x_root - event->x;
+ window->y = event->y_root - event->y;
+ gtk_window_begin_move_drag (GTK_WINDOW (widget),
+ event->button,
+ event->x_root,
+ event->y_root,
+ event->time);
+ return TRUE;
+ }
+
+ return FALSE;
+}
+
+static gboolean
+ev_annotation_window_configure_event (GtkWidget *widget,
+ GdkEventConfigure *event)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
+
+ if (window->in_move &&
+ (window->x != event->x || window->y != event->y)) {
+ window->x = event->x;
+ window->y = event->y;
+ }
+
+ return GTK_WIDGET_CLASS (ev_annotation_window_parent_class)->configure_event (widget, event);
+}
+
+static gboolean
+ev_annotation_window_focus_in_event (GtkWidget *widget,
+ GdkEventFocus *event)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
+
+ if (window->in_move) {
+ if (window->orig_x != window->x || window->orig_y != window->y) {
+ window->orig_x = window->x;
+ window->orig_y = window->y;
+ g_signal_emit (window, signals[MOVED], 0, window->x, window->y);
+ }
+ window->in_move = FALSE;
+ }
+
+ return FALSE;
+}
+
+static gboolean
+ev_annotation_window_focus_out_event (GtkWidget *widget,
+ GdkEventFocus *event)
+{
+ EvAnnotationWindow *window = EV_ANNOTATION_WINDOW (widget);
+
+ ev_annotation_window_sync_contents (window);
+
+ return FALSE;
+}
+
+static void
+ev_annotation_window_class_init (EvAnnotationWindowClass *klass)
+{
+ GObjectClass *g_object_class = G_OBJECT_CLASS (klass);
+ GtkWidgetClass *gtk_widget_class = GTK_WIDGET_CLASS (klass);
+
+ g_object_class->constructor = ev_annotation_window_constructor;
+ g_object_class->set_property = ev_annotation_window_set_property;
+ g_object_class->dispose = ev_annotation_window_dispose;
+
+ gtk_widget_class->button_press_event = ev_annotation_window_button_press_event;
+ gtk_widget_class->configure_event = ev_annotation_window_configure_event;
+ gtk_widget_class->focus_in_event = ev_annotation_window_focus_in_event;
+ gtk_widget_class->focus_out_event = ev_annotation_window_focus_out_event;
+
+ g_object_class_install_property (g_object_class,
+ PROP_ANNOTATION,
+ g_param_spec_object ("annotation",
+ "Annotation",
+ "The annotation associated to the window",
+ EV_TYPE_ANNOTATION_MARKUP,
+ G_PARAM_WRITABLE |
+ G_PARAM_CONSTRUCT_ONLY));
+ g_object_class_install_property (g_object_class,
+ PROP_PARENT,
+ g_param_spec_object ("parent",
+ "Parent",
+ "The parent window",
+ GTK_TYPE_WINDOW,
+ G_PARAM_WRITABLE |
+ G_PARAM_CONSTRUCT_ONLY));
+ signals[CLOSED] =
+ g_signal_new ("closed",
+ G_TYPE_FROM_CLASS (g_object_class),
+ G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
+ G_STRUCT_OFFSET (EvAnnotationWindowClass, closed),
+ NULL, NULL,
+ g_cclosure_marshal_VOID__VOID,
+ G_TYPE_NONE, 0, G_TYPE_NONE);
+ signals[MOVED] =
+ g_signal_new ("moved",
+ G_TYPE_FROM_CLASS (g_object_class),
+ G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
+ G_STRUCT_OFFSET (EvAnnotationWindowClass, moved),
+ NULL, NULL,
+ ev_view_marshal_VOID__INT_INT,
+ G_TYPE_NONE, 2,
+ G_TYPE_INT, G_TYPE_INT);
+}
+
+/* Public methods */
+GtkWidget *
+ev_annotation_window_new (EvAnnotation *annot,
+ GtkWindow *parent)
+{
+ GtkWidget *window;
+
+ g_return_val_if_fail (EV_IS_ANNOTATION_MARKUP (annot), NULL);
+ g_return_val_if_fail (GTK_IS_WINDOW (parent), NULL);
+
+ window = g_object_new (EV_TYPE_ANNOTATION_WINDOW,
+ "annotation", annot,
+ "parent", parent,
+ NULL);
+ return window;
+}
+
+EvAnnotation *
+ev_annotation_window_get_annotation (EvAnnotationWindow *window)
+{
+ g_return_val_if_fail (EV_IS_ANNOTATION_WINDOW (window), NULL);
+
+ return window->annotation;
+}
+
+void
+ev_annotation_window_set_annotation (EvAnnotationWindow *window,
+ EvAnnotation *annot)
+{
+ g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
+ g_return_if_fail (EV_IS_ANNOTATION (annot));
+
+ if (annot == window->annotation)
+ return;
+
+ g_object_unref (window->annotation);
+ window->annotation = g_object_ref (annot);
+ ev_annotation_window_sync_contents (window);
+ g_object_notify (G_OBJECT (window), "annotation");
+}
+
+gboolean
+ev_annotation_window_is_open (EvAnnotationWindow *window)
+{
+ g_return_val_if_fail (EV_IS_ANNOTATION_WINDOW (window), FALSE);
+
+ return window->is_open;
+}
+
+void
+ev_annotation_window_get_rectangle (EvAnnotationWindow *window,
+ EvRectangle *rect)
+{
+ g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
+ g_return_if_fail (rect != NULL);
+
+ *rect = window->rect;
+}
+
+void
+ev_annotation_window_set_rectangle (EvAnnotationWindow *window,
+ const EvRectangle *rect)
+{
+ g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
+ g_return_if_fail (rect != NULL);
+
+ window->rect = *rect;
+}
+
+void
+ev_annotation_window_grab_focus (EvAnnotationWindow *window)
+{
+ g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
+
+ if (!gtk_widget_has_focus (window->text_view)) {
+ gtk_widget_grab_focus (GTK_WIDGET (window));
+ send_focus_change (window->text_view, TRUE);
+ }
+}
+
+void
+ev_annotation_window_ungrab_focus (EvAnnotationWindow *window)
+{
+ g_return_if_fail (EV_IS_ANNOTATION_WINDOW (window));
+
+ if (gtk_widget_has_focus (window->text_view)) {
+ send_focus_change (window->text_view, FALSE);
+ }
+
+ ev_annotation_window_sync_contents (window);
+}