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 /extras | |
| 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 'extras')
0 files changed, 0 insertions, 0 deletions