diff options
author | Robin Gareus <robin@gareus.org> | 2019-05-25 00:14:50 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-05-25 00:14:56 +0200 |
commit | a0b5616c85f25d0f6759c7cc80cc1adb68ef9a22 (patch) | |
tree | f44a98935a373bd56310dad2aaf0386c606c4eff /gtk2_ardour/plugin_selector.h | |
parent | 92cfed14cf3ab5cdf2d0f5b0c5d8662aaeb73c5c (diff) |
Speed up Plugin status changes
Postpone menu rebuild when plugin status changes while the PluginManager
Dialog is visible.
Since the dialog is modal, the menus cannot be used while the dialog
is visible, so updating them once when the dialog is hidden is sufficient.
Diffstat (limited to 'gtk2_ardour/plugin_selector.h')
-rw-r--r-- | gtk2_ardour/plugin_selector.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/plugin_selector.h b/gtk2_ardour/plugin_selector.h index ba09b08f7f..f1be052028 100644 --- a/gtk2_ardour/plugin_selector.h +++ b/gtk2_ardour/plugin_selector.h @@ -186,7 +186,7 @@ private: bool _need_tag_save; bool _need_status_save; - + bool _need_menu_rebuild; bool _inhibit_refill; }; |