M src/server.c → src/server.c

@@ -351,7 +351,7 @@ server.monitor[0].names = 0;
 	}
 }
 
-int server_get_number_of_desktop ()
+int server_get_number_of_desktops()
 {
 	return get_property32(server.root_win, server.atom._NET_NUMBER_OF_DESKTOPS, XA_CARDINAL);
 }
@@ -363,7 +363,7 @@ 
 	// detect number of desktops
 	// wait 15s to leave some time for window manager startup
 	for (i=0 ; i < 15 ; i++) {
-		server.nb_desktop = server_get_number_of_desktop ();
+		server.nb_desktop = server_get_number_of_desktops();
 		if (server.nb_desktop > 0) break;
 		sleep(1);
 	}

M src/server.h → src/server.h

@@ -150,6 +150,6 @@ 
 // detect monitors and desktops
 void get_monitors();
 void get_desktops();
-int server_get_number_of_desktop();
+int server_get_number_of_desktops();
 
 #endif

M src/tint.c → src/tint.c

@@ -596,7 +596,7 @@ }
 		// Change number of desktops
 		else if (at == server.atom._NET_NUMBER_OF_DESKTOPS) {
 			if (!taskbar_enabled) return;
-			server.nb_desktop = server_get_number_of_desktop ();
+			server.nb_desktop = server_get_number_of_desktops();
 			if (server.nb_desktop <= server.desktop) {
 				server.desktop = server.nb_desktop-1;
 			}