diff --git a/src/server.c b/src/server.c index d227421..f3e284d 100644 --- a/src/server.c +++ b/src/server.c @@ -351,7 +351,7 @@ next: } } -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 @@ void get_desktops() // 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); } diff --git a/src/server.h b/src/server.h index effb803..b2102e4 100644 --- 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(); +int server_get_number_of_desktops(); #endif diff --git a/src/tint.c b/src/tint.c index d723f56..69c14c2 100644 --- a/src/tint.c +++ b/src/tint.c @@ -596,7 +596,7 @@ void event_property_notify (XEvent *e) // 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; }