7489
7502
user_24hr_clock = gdm_config_get_string (GDM_KEY_USE_24_CLOCK);
7490
7503
if (!ve_string_empty (user_24hr_clock)) {
7492
7505
gtk_combo_box_set_active (GTK_COMBO_BOX (clock_type_chooser), CLOCK_AUTO);
7495
7509
gtk_combo_box_set_active (GTK_COMBO_BOX (clock_type_chooser), CLOCK_YES);
7498
7513
gtk_combo_box_set_active (GTK_COMBO_BOX (clock_type_chooser), CLOCK_NO);