From 47a0a3f433f820fc78d180884f6ca376fba97b73 Mon Sep 17 00:00:00 2001
From: Vasil Zlatanov <vasil.zlatanov@gmail.com>
Date: Sun, 12 Apr 2015 13:05:47 +0200
Subject: Tidy up everything :)

---
 tools/paneltoggle | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 tools/paneltoggle

(limited to 'tools/paneltoggle')

diff --git a/tools/paneltoggle b/tools/paneltoggle
new file mode 100755
index 0000000..5e665bb
--- /dev/null
+++ b/tools/paneltoggle
@@ -0,0 +1,12 @@
+#!/bin/sh
+# This shell script is PUBLIC DOMAIN. You may do whatever you want with it.
+
+TOGGLE=$HOME/.toggle
+
+if [ ! -e $TOGGLE ]; then
+    touch $TOGGLE
+    ratpoison -c hidepanel
+else
+    rm $TOGGLE
+    ratpoison -c showpanel
+fi
-- 
cgit v1.2.3-54-g00ecf