From d923956d4866beb5093c89e0c1a4f54a9c37070f Mon Sep 17 00:00:00 2001
From: Vasil Zlatanov <vasil.zlatanov@gmail.com>
Date: Tue, 18 Aug 2015 01:39:43 +0200
Subject: major fixes and rearrangement

---
 tools/paneltoggle | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 tools/paneltoggle

(limited to 'tools/paneltoggle')

diff --git a/tools/paneltoggle b/tools/paneltoggle
deleted file mode 100755
index 5e665bb..0000000
--- a/tools/paneltoggle
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/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