Make KeyBindingView extend View.

diff --git a/src/gui/gui.py b/src/gui/gui.py
index 815edc5be6fc2cda7afcbc6334a8a7565d63f5e2..2661286b881b63d728b36526f7380113e80a36e5 100644 (file)
--- a/src/gui/gui.py
+++ b/src/gui/gui.py
@@ -218,7 +218,7 @@ class WidgetBasedListView(ListView):
         return self.widgets[self.selected_index()]
         
 
-class KeyBindingView(object):
+class KeyBindingView(View):
     
     def __init__(self):
         self.binding_map = {}