diff options
| author | Robin Gareus <robin@gareus.org> | 2015-09-01 13:28:33 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-09-01 13:28:33 +0200 |
| commit | e10e9ca77f9e9b34b341076bcd88aea2b08ee462 (patch) | |
| tree | 75f0ce7f1462ef8a45d51323a8ae09eb371d5c52 /gtk2_ardour/window_manager.cc | |
| parent | 0370b1988d5d6ed778c120dd4e15c73f2bfabf53 (diff) | |
handle GUIs of missing or disabled plugins
Diffstat (limited to 'gtk2_ardour/window_manager.cc')
| -rw-r--r-- | gtk2_ardour/window_manager.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gtk2_ardour/window_manager.cc b/gtk2_ardour/window_manager.cc index 01baf3e1fd..f8f755747b 100644 --- a/gtk2_ardour/window_manager.cc +++ b/gtk2_ardour/window_manager.cc @@ -97,6 +97,12 @@ Manager::show_visible() const { for (Windows::const_iterator i = _windows.begin(); i != _windows.end(); ++i) { if ((*i)->visible()) { + if (! (*i)->get (true)) { + /* the window may be a plugin GUI for a plugin which + * is disabled or longer present. + */ + continue; + } (*i)->show_all (); (*i)->present (); } |