GTK_WIDGET (parent) : GTK_WIDGET (preferences)))
button = katze_property_proxy (settings, "kinetic-scrolling", NULL);
else
- button = katze_property_proxy (settings, "open-panels-in-windows", NULL);
+ {
+ button = katze_property_proxy (settings, "enforce-96-dpi", NULL);
+ gtk_button_set_label (GTK_BUTTON (button), _("Enforce 96 dots per inch"));
+ gtk_widget_set_tooltip_text (button, _("Enforce a video dot density of 96 DPI"));
+ }
#else
button = katze_property_proxy (settings, "middle-click-opens-selection", NULL);
#endif
#if !HAVE_HILDON
button = katze_property_proxy (settings, "enable-scripts", NULL);
INDENTED_ADD (button);
- button = katze_property_proxy (settings, "enable-plugins", NULL);
+ button = katze_property_proxy (settings, "open-panels-in-windows", NULL);
SPANNED_ADD (button);
- #endif
- button = katze_property_proxy (settings, "zoom-text-and-images", NULL);
+ button = katze_property_proxy (settings, "enable-plugins", NULL);
INDENTED_ADD (button);
+ #endif
button = katze_property_proxy (settings, "find-while-typing", NULL);
SPANNED_ADD (button);
- #if !HAVE_HILDON
- button = katze_property_proxy (settings, "enforce-96-dpi", NULL);
- gtk_button_set_label (GTK_BUTTON (button), _("Enforce 96 dots per inch"));
- gtk_widget_set_tooltip_text (button, _("Enforce a video dot density of 96 DPI"));
+ button = katze_property_proxy (settings, "zoom-text-and-images", NULL);
INDENTED_ADD (button);
- #endif
#if WEBKIT_CHECK_VERSION (1, 1, 6)
FRAME_NEW (_("Spell Checking"));
/* FIXME: Provide a nice dictionary selection */