From 2de3f0e4ebff18227ba10e9a6354bf489ab9e994 Mon Sep 17 00:00:00 2001
From: Ivan Kanakarakis <ivan.kanak@gmail.com>
Date: Sun, 11 Dec 2011 15:30:16 +0200
Subject: select_desktop(): no need to assign anything if we're already on that
 desktop

---
 dminiwm.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dminiwm.c b/dminiwm.c
index d9ba47e..055b70a 100644
--- a/dminiwm.c
+++ b/dminiwm.c
@@ -326,6 +326,7 @@ void save_desktop(int i) {
 }
 
 void select_desktop(int i) {
+    if(current_desktop == i) return;
     master_size = desktops[i].master_size;
     mode = desktops[i].mode;
     growth = desktops[i].growth;
-- 
cgit v1.3.1