diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2007-03-18 16:45:43 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2007-03-18 16:45:43 +0000 |
commit | c69ef10067cbdde5fc87ff676097aa4ffe406f2c (patch) | |
tree | f31cc3e557d00646536ff5d3eb1ef175f6d5c7bc /gtk2_ardour/mixer_ui.cc | |
parent | c89eaf029700c635d7b775abb7059be0eae7cd3f (diff) |
fix rect redraw problem(s); make zoom range rect visible again at the right time; apply tim's window title patch
git-svn-id: svn://localhost/ardour2/trunk@1617 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour/mixer_ui.cc')
-rw-r--r-- | gtk2_ardour/mixer_ui.cc | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/gtk2_ardour/mixer_ui.cc b/gtk2_ardour/mixer_ui.cc index d1089e48e6..cbd9cfe083 100644 --- a/gtk2_ardour/mixer_ui.cc +++ b/gtk2_ardour/mixer_ui.cc @@ -28,6 +28,7 @@ #include <gtkmm2ext/gtk_ui.h> #include <gtkmm2ext/utils.h> #include <gtkmm2ext/stop_signal.h> +#include <gtkmm2ext/window_title.h> #include <ardour/session.h> #include <ardour/audio_track.h> @@ -201,7 +202,11 @@ Mixer_UI::Mixer_UI () add (global_vpacker); set_name ("MixerWindow"); - set_title (_("ardour: mixer")); + + WindowTitle title(Glib::get_application_name()); + title += _("Mixer"); + set_title (title.get_string()); + set_wmclass (X_("ardour_mixer"), "Ardour"); add_accel_group (ActionManager::ui_manager->get_accel_group()); @@ -353,9 +358,11 @@ Mixer_UI::connect_to_session (Session* sess) XMLNode* node = ARDOUR_UI::instance()->mixer_settings(); set_state (*node); - string wintitle = _("ardour: mixer: "); - wintitle += session->name(); - set_title (wintitle); + WindowTitle title(session->name()); + title += _("Mixer"); + title += Glib::get_application_name(); + + set_title (title.get_string()); initial_track_display (); @@ -382,7 +389,11 @@ Mixer_UI::disconnect_from_session () group_model->clear (); _selection.clear (); - set_title (_("ardour: mixer")); + + WindowTitle title(Glib::get_application_name()); + title += _("Mixer"); + set_title (title.get_string()); + stop_updating (); } |