diff options
| author | noa@gaiwan.org | 2024-08-14 11:21:58 +0000 |
|---|---|---|
| committer | noa@gaiwan.org | 2024-08-14 11:21:58 +0000 |
| commit | 3dbeedf4f19933d43b235079e2da516fa1143619 (patch) | |
| tree | aa8162be50a96b4703d02117e596ac6dffe9e347 | |
| parent | ddb291e68707b64d0d06008c74df467d30959d57 (diff) | |
Don't modify scrollbar appearance
| -rw-r--r-- | config.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.org b/config.org index b1e8202..15a3c45 100644 --- a/config.org +++ b/config.org @@ -330,7 +330,7 @@ First we can change the style of the scrollbars to be a bit chunkier. This is d For some programs, it might be necessary to set ~gsettings set org.gnome.desktop.interface overlay-scrolling false~ to ensure that the scrollbars show up properly. -#+begin_src css :tangle ~/.config/gtk-3.0/gtk.css +#+begin_src css :tangle ~/.config/gtk-3.0/gtk.css :tangle no scrollbar { -GtkScrollbar-has-backward-stepper: false; -GtkScrollbar-has-forward-stepper: false; |