+#if !HAVE_APPINDICATOR && !HAVE_APPINDICATOR_029
+ gtk_widget_set_sensitive(GTK_WIDGET(w_enable_launcher_counter), FALSE);
+ gtk_widget_set_has_tooltip(GTK_WIDGET(w_enable_launcher_counter), TRUE);
+#else
+ gtk_widget_set_has_tooltip(GTK_WIDGET(w_enable_launcher_counter),
+ FALSE);
+#endif
+