diff options
| author | Ivan Kanakarakis <ivan.kanak@gmail.com> | 2011-12-11 15:30:16 +0200 |
|---|---|---|
| committer | Ivan Kanakarakis <ivan.kanak@gmail.com> | 2011-12-11 15:30:16 +0200 |
| commit | 2de3f0e4ebff18227ba10e9a6354bf489ab9e994 (patch) | |
| tree | 9214acd4b92abd4c3269b8b88942d5ca22b26bcc | |
| parent | 93bd8b8b4f7c7c69aa5e8abd2f1a0988db326e6c (diff) | |
select_desktop(): no need to assign anything if we're already on that desktop
| -rw-r--r-- | dminiwm.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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; |
