patch: show_ui_tooltip
corvid <[email protected]>
| Newsgroups | gmane.comp.web.dillo.devel |
|---|---|
| Message-ID | <[email protected]> |
Someone in the bug tracker was asking about turning off the ui's tooltips. _______________________________________________ Dillo-dev mailing list [email protected] http://lists.auriga.wearlab.de/cgi-bin/mailman/listinfo/dillo-dev
show_ui_tooltip.patch
(text/x-diff, 2.6 KB)
diff -r a731f567208b dillorc
--- a/dillorc Tue Sep 10 19:43:27 2013 +0000
+++ b/dillorc Wed Sep 11 15:24:00 2013 +0000
@@ -68,7 +68,7 @@
# Minimum font size in pixels
#font_min_size=6
-# Show tooltip popups for UI and for HTML title attributes
+# Show tooltip popups for HTML title attributes
#show_tooltip=YES
# Set this to YES if you want to limit the word wrap width to the viewport
@@ -324,6 +324,9 @@
#show_help=YES
#show_progress_box=YES
+# Show tooltip popups for the UI
+#show_ui_tooltip=YES
+
# Start dillo with the panels hidden?
#fullwindow_start=NO
diff -r a731f567208b src/dillo.cc
--- a/src/dillo.cc Tue Sep 10 19:43:27 2013 +0000
+++ b/src/dillo.cc Wed Sep 11 15:24:00 2013 +0000
@@ -489,8 +489,7 @@
Fl::scheme(prefs.theme);
setColors();
- if (!prefs.show_tooltip) {
- // turn off UI tooltips
+ if (!prefs.show_ui_tooltip) {
Fl::option(Fl::OPTION_SHOW_TOOLTIPS, false);
}
diff -r a731f567208b src/prefs.c
--- a/src/prefs.c Tue Sep 10 19:43:27 2013 +0000
+++ b/src/prefs.c Wed Sep 11 15:24:00 2013 +0000
@@ -97,6 +97,7 @@
prefs.show_stop = TRUE;
prefs.show_tools = TRUE;
prefs.show_tooltip = TRUE;
+ prefs.show_ui_tooltip = TRUE;
prefs.small_icons = FALSE;
prefs.start_page = a_Url_new(PREFS_START_PAGE, NULL);
prefs.theme = dStrdup(PREFS_THEME);
diff -r a731f567208b src/prefs.h
--- a/src/prefs.h Tue Sep 10 19:43:27 2013 +0000
+++ b/src/prefs.h Wed Sep 11 15:24:00 2013 +0000
@@ -61,6 +61,7 @@
int32_t ui_text_bg_color;
bool_t contrast_visited_color;
bool_t show_tooltip;
+ bool_t show_ui_tooltip;
char *theme;
int panel_size;
bool_t small_icons;
diff -r a731f567208b src/prefsparser.cc
--- a/src/prefsparser.cc Tue Sep 10 19:43:27 2013 +0000
+++ b/src/prefsparser.cc Wed Sep 11 15:24:00 2013 +0000
@@ -107,6 +107,7 @@
{ "show_stop", &prefs.show_stop, PREFS_BOOL },
{ "show_tools", &prefs.show_tools, PREFS_BOOL },
{ "show_tooltip", &prefs.show_tooltip, PREFS_BOOL },
+ { "show_ui_tooltip", &prefs.show_ui_tooltip, PREFS_BOOL },
{ "small_icons", &prefs.small_icons, PREFS_BOOL },
{ "start_page", &prefs.start_page, PREFS_URL },
{ "theme", &prefs.theme, PREFS_STRING },
diff -r a731f567208b src/tipwin.cc
--- a/src/tipwin.cc Tue Sep 10 19:43:27 2013 +0000
+++ b/src/tipwin.cc Wed Sep 11 15:24:00 2013 +0000
@@ -71,7 +71,7 @@
void TipWin::do_show(void *wid) {
cur_widget = wid; // Keep track of requesting widget
- if (prefs.show_tooltip) {
+ if (prefs.show_ui_tooltip) {
Fl::add_timeout(recent ? 0.2f : 0.8f, show_timeout);
}
}