From 04b08f7bddc058c37dc5b9db9d037e6d25b2b17f Mon Sep 17 00:00:00 2001
From: Laurent Destailleur <eldy@destailleur.fr>
Date: Wed, 7 Aug 2013 01:41:33 +0200
Subject: [PATCH] Can choose window size in utility to resize window (for
 screenshot)

---
 dev/resize_window.sh | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/dev/resize_window.sh b/dev/resize_window.sh
index a26acd796de..0ac7c908ef5 100755
--- a/dev/resize_window.sh
+++ b/dev/resize_window.sh
@@ -8,7 +8,7 @@
 # Syntax
 if [ "x$1" = "x" ]
 then
-	echo "resize_windows.sh (list|0x99999999)"
+	echo "resize_windows.sh (list|0x99999999) [1280 1024]"
 fi
 
 # To list all windows
@@ -20,7 +20,19 @@ fi
 # To resize a specific window
 if [ "x$1" != "xlist" -a "x$1" != "x" ]
 then
-	wmctrl -i -r $1 -e 0,0,0,1280,1024
-	echo Size of windows $1 modified
+	if [ "x$2" = "x" ]
+	then
+		width=1280
+	else
+		width=$2
+	fi
+	if [ "x$3" = "x" ]
+	then
+		height=1024
+	else
+		height=$3
+	fi
+	wmctrl -i -r $1 -e 0,0,0,$width,$height
+	echo Size of windows $1 modified to $width x $height
 fi