diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-15 01:45:32 +0100 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-15 01:45:32 +0100 |
commit | 905e69b74fe6e822e0d00245e2c210e9aadb6437 (patch) | |
tree | a41c2e3c248c81306ac5ab2b2d583e2b5efeb341 /interface-gtk.h | |
parent | 8c264612fd7056e1d47dedc2a245e4deb83cc552 (diff) | |
download | sciteco-905e69b74fe6e822e0d00245e2c210e9aadb6437.tar.gz |
make it possible for interface classes to define a get_options() method to add an options group to the help menu
Diffstat (limited to 'interface-gtk.h')
-rw-r--r-- | interface-gtk.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/interface-gtk.h b/interface-gtk.h index 76868fd..e6b9166 100644 --- a/interface-gtk.h +++ b/interface-gtk.h @@ -20,6 +20,11 @@ public: InterfaceGtk(); //~InterfaceGtk(); + inline GOptionGroup * + get_options(void) + { + return gtk_get_option_group(TRUE); + } inline void parse_args(int &argc, char **&argv) { |