aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIvan Kanakarakis <ivan.kanak@gmail.com>2011-12-11 15:30:16 +0200
committerIvan Kanakarakis <ivan.kanak@gmail.com>2011-12-11 15:30:16 +0200
commit2de3f0e4ebff18227ba10e9a6354bf489ab9e994 (patch)
tree9214acd4b92abd4c3269b8b88942d5ca22b26bcc
parent93bd8b8b4f7c7c69aa5e8abd2f1a0988db326e6c (diff)
select_desktop(): no need to assign anything if we're already on that desktop
-rw-r--r--dminiwm.c1
1 files changed, 1 insertions, 0 deletions
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;