Taskbar: add option to redistribute size in multi-desktop mode (useful especially when the taskbar is getting full on one desktop)

git-svn-id: http://tint2.googlecode.com/svn/trunk@673 121b4492-b84c-0410-8b4c-0d4edfb3f3cc
2015-01-30 09:53:16 +00:00
parent 88e0e4fed8
commit 4e76c2bb5d
8 changed files with 112 additions and 4 deletions
--- a/src/server.h
+++ b/src/server.h
@@ -150,6 +150,6 @@ void get_root_pixmap();
 // detect monitors and desktops
 void get_monitors();
 void get_desktops();
-
+int server_get_number_of_desktop();

 #endif