Implements filtering in bindings editor

2016-03-07 23:56:03 +01:00
parent 6565a1d067
commit 1375c454fb
7 changed files with 351 additions and 57 deletions
--- a/libs/gtkmm2ext/wscript
+++ b/libs/gtkmm2ext/wscript
@@ -57,6 +57,7 @@ gtkmm2ext_sources = [
        'popup.cc',
        'prompter.cc',
        'scroomer.cc',
+        'searchbar.cc',
        'selector.cc',
        'slider_controller.cc',
        'stateful_button.cc',