-#if !HAVE_UNITY
- 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
+ if (ui_unity_is_supported()) {
+ gtk_widget_set_has_tooltip
+ (GTK_WIDGET(w_enable_launcher_counter), FALSE);
+ } else {
+ gtk_widget_set_sensitive
+ (GTK_WIDGET(w_enable_launcher_counter), FALSE);
+ gtk_widget_set_has_tooltip
+ (GTK_WIDGET(w_enable_launcher_counter), TRUE);
+ }