diff options
| author |  Brendan Taylor <whateley@gmail.com> | 2011-07-25 19:09:49 +0000 |
|---|---|---|
| committer | Brendan Taylor <whateley@gmail.com> | 2011-07-25 19:09:49 +0000 |
| commit | 7180bedbc91efa454b9d5886e9491d4711c7852b (patch) | |
| tree | 57492346e6fc6f3f9793bf56172467fc42e62a07 /src/variables.c | |
| parent | 91da964076912a556a68a38b0f095f2f747ada25 (diff) | |
remove the scrollbars_visible variable
it doesn't work on GTK3, and discussion on the webkit-gtk mailing list
suggests that it was never intended to work. instead, GTK theming can
be used to hide scrollbars.
Diffstat (limited to 'src/variables.c')
| -rw-r--r-- | src/variables.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/variables.c b/src/variables.c index d69ac6c..cf179d7 100644 --- a/src/variables.c +++ b/src/variables.c @@ -500,13 +500,6 @@ set_accept_languages() { } } -void -cmd_scrollbars_visibility() { - GtkPolicyType policy = uzbl.gui.scrollbars_visible ? GTK_POLICY_AUTOMATIC : GTK_POLICY_NEVER; - - gtk_scrolled_window_set_policy ( GTK_SCROLLED_WINDOW (uzbl.gui.scrolled_win), policy, policy ); -} - /* requires webkit >=1.1.14 */ void cmd_view_source() { @@ -594,10 +587,6 @@ const struct var_name_to_ptr_t { { "enforce_96_dpi", PTR_V_INT(uzbl.behave.enforce_96dpi, 1, cmd_enforce_96dpi)}, { "caret_browsing", PTR_V_INT(uzbl.behave.caret_browsing, 1, cmd_caret_browsing)}, -#if !GTK_CHECK_VERSION(3,0,0) - { "scrollbars_visible", PTR_V_INT(uzbl.gui.scrollbars_visible, 1, cmd_scrollbars_visibility)}, -#endif - /* constants (not dumpable or writeable) */ { "WEBKIT_MAJOR", PTR_C_INT(uzbl.info.webkit_major, NULL)}, { "WEBKIT_MINOR", PTR_C_INT(uzbl.info.webkit_minor, NULL)}, |