diff options
author | David Robillard <d@drobilla.net> | 2018-09-23 19:06:25 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2018-09-23 19:06:25 +0200 |
commit | 04b4d70f38402b1e4e4751157f42eb558bd60f9c (patch) | |
tree | 7046ce56d1fb498f5e8720c5fb59ae9895fecb39 /src/gui/NodeMenu.hpp | |
parent | 394b01da8e26dbe1b6a0520944d954ca0b16b1b5 (diff) | |
download | ingen-04b4d70f38402b1e4e4751157f42eb558bd60f9c.tar.gz ingen-04b4d70f38402b1e4e4751157f42eb558bd60f9c.tar.bz2 ingen-04b4d70f38402b1e4e4751157f42eb558bd60f9c.zip |
Use override specifiers
Diffstat (limited to 'src/gui/NodeMenu.hpp')
-rw-r--r-- | src/gui/NodeMenu.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/NodeMenu.hpp b/src/gui/NodeMenu.hpp index e92e48fc..fd4962a9 100644 --- a/src/gui/NodeMenu.hpp +++ b/src/gui/NodeMenu.hpp @@ -54,7 +54,7 @@ protected: void add_preset(const URI& uri, const std::string& label); - void on_menu_disconnect(); + void on_menu_disconnect() override; void on_menu_embed_gui(); void on_menu_enabled(); void on_menu_randomize(); |