diff options
| author | David Robillard <d@drobilla.net> | 2020-07-25 23:10:30 +0200 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2020-07-25 23:10:30 +0200 |
| commit | e8650fd40168cc425456391733fff419460c42f9 (patch) | |
| tree | 685444ee2d469d73a401e9093160ee5102acb815 /bash/.bashrc | |
| parent | 8904e00414c689ce3b59b49ccdf1a2a87622d8ff (diff) | |
| download | dotfiles-e8650fd40168cc425456391733fff419460c42f9.tar.gz dotfiles-e8650fd40168cc425456391733fff419460c42f9.tar.bz2 dotfiles-e8650fd40168cc425456391733fff419460c42f9.zip | |
Update panel show/hide keybindings for xfce4-panel
The X11 properties for xfce-panel are a useless mess, so just set the config to
make it hide. This is a bit crap because moving the mouse to the top edge
doesn't fix the padding, but whatever.
Diffstat (limited to 'bash/.bashrc')
0 files changed, 0 insertions, 0 deletions