Searched refs:wall_clock_label (Results 1 – 3 of 3) sorted by relevance
766 wall_clock_label.set_name ("WallClock"); in build_menu_bar()767 wall_clock_label.set_use_markup (); in build_menu_bar()799 hbox->pack_end (wall_clock_label, false, false, 10); in build_menu_bar()825 _status_bar_visibility.add (&wall_clock_label, X_("WallClock"), _("Wall Clock"), false); in build_menu_bar()
602 Gtk::Label wall_clock_label; variable
1492 wall_clock_label.set_text (buf); in update_wall_clock()