diff options
| author | David Robillard <d@drobilla.net> | 2017-03-19 13:26:38 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2017-03-20 02:58:56 +0100 |
| commit | f1c793f7e2148b10610a09a459d9e89b39d2d87b (patch) | |
| tree | b898407dce08af0f2f978d59a85d4887d8555b54 /src/gui/App.hpp | |
| parent | efc0fe0a973db706d9409b345ad6fae585f4388c (diff) | |
| download | ingen-f1c793f7e2148b10610a09a459d9e89b39d2d87b.tar.gz ingen-f1c793f7e2148b10610a09a459d9e89b39d2d87b.tar.bz2 ingen-f1c793f7e2148b10610a09a459d9e89b39d2d87b.zip | |
Fix round-trip preservation of property contexts
Diffstat (limited to 'src/gui/App.hpp')
| -rw-r--r-- | src/gui/App.hpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/gui/App.hpp b/src/gui/App.hpp index 4967513c..6dcab171 100644 --- a/src/gui/App.hpp +++ b/src/gui/App.hpp @@ -101,7 +101,8 @@ public: void set_property(const Raul::URI& subject, const Raul::URI& key, - const Atom& value); + const Atom& value, + Resource::Graph ctx = Resource::Graph::DEFAULT); /** Set the tooltip for a widget from its RDF documentation. */ void set_tooltip(Gtk::Widget* widget, const LilvNode* node); @@ -149,7 +150,8 @@ protected: void property_change(const Raul::URI& subject, const Raul::URI& key, - const Atom& value); + const Atom& value, + Resource::Graph ctx = Resource::Graph::DEFAULT); static Gtk::Main* _main; |