+ gchar *default_font_name, *font_name;
+ gdouble default_font_size, font_size;
+ gulong resize_signal_handler;
+ gdouble hiliter_opacity;
+ guint hiliter_alpha_mask;
+ gboolean left_handed; // left-handed mode?
+ gboolean auto_save_prefs; // auto-save preferences ?
+ gboolean shorten_menus; // shorten menus ?
+ gchar *shorten_menu_items; // which items to hide
+ gboolean is_sel_cursor; // displaying a selection-related cursor
+ gint pre_fullscreen_width, pre_fullscreen_height; // for win32 fullscreen
+#if GTK_CHECK_VERSION(2,10,0)
+ GtkPrintSettings *print_settings;
+#endif
+ gboolean poppler_force_cairo; // force poppler to use cairo