w_enable_launcher_counter = GTK_TOGGLE_BUTTON
(gtk_builder_get_object(builder, "enable_launcher_counter"));
gtk_toggle_button_set_active(w_enable_launcher_counter,
w_enable_launcher_counter = GTK_TOGGLE_BUTTON
(gtk_builder_get_object(builder, "enable_launcher_counter"));
gtk_toggle_button_set_active(w_enable_launcher_counter,