Add a rather hacky method of adjusting the padding dynamically.

1 files changed, 36 insertions, 0 deletions

diff --git a/river/padding_helper b/river/padding_helper
new file mode 100755
index 0000000..70feb70
--- /dev/null
+++ b/river/padding_helper
@@ -0,0 +1,36 @@
+#!/bin/sh
+set -e
+XDG_CONFIG_HOME="${XDG_CONFIG_HOME:-$HOME/.config}"
+
+conf="$XDG_CONFIG_HOME/river/padding_conf"
+
+if ! [ -e "$conf" ] ; then
+cat > "$conf" <<EOF
+outer=8
+inner=8
+EOF
+fi
+
+. "$conf"
+
+outer_inc="$1"; shift;
+inner_inc="$1"; shift;
+
+outer=$((outer + outer_inc))
+inner=$((inner + inner_inc))
+
+if [ "$outer" -lt 0 ] ; then
+	outer=0
+fi
+
+if [ "$inner" -lt 0 ] ; then
+	inner=0
+fi
+
+cat > "$conf" <<EOF
+outer=$outer
+inner=$inner
+EOF
+
+pkill rivertile || echo ""
+rivertile -view-padding "$outer" -outer-padding "$inner" &