+ /* Common for button press handling */
+ int pressed_button;
+
+ /* Information for middle clicking and dragging around. */
+ DragInfo drag_info;
+
+ /* Selection */
+ GdkPoint motion;
+ guint selection_update_id;
+ guint selection_scroll_id;
+
+ EvViewSelectionMode selection_mode;
+ SelectionInfo selection_info;
+
+ /* Links */
+ GtkWidget *link_tooltip;
+ EvLink *hovered_link;