various updates

2021-06-12 18:27:40 +02:00
parent d2a9963dad
commit 6859ef38c9
26 changed files with 87 additions and 586 deletions
--- a/.local/bin/tools/hover
+++ b/.local/bin/tools/hover
@ -29,6 +29,7 @@ newwidth=$(( 2 * screenwidth / 5 ))
 borderwidth=2

 # see https://specifications.freedesktop.org/wm-spec/wm-spec-1.3.html for gravity specs
+# I do not believe that gravity is being respected in dwm.
 case "$1" in
 	left)	horizontal=$(( borderwidth ))
 		vertical=$(( screenheight - newheight - 2 * borderwidth ))