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_sensitive(GTK_WIDGET(w_enable_launcher_counter), FALSE);
gtk_widget_set_has_tooltip(GTK_WIDGET(w_enable_launcher_counter), TRUE);
#else