From f72d9cbdc9a3a73ca39858503fcb862fdaf01661 Mon Sep 17 00:00:00 2001 From: Huang Peng Date: Wed, 20 Aug 2008 11:14:58 +0800 Subject: [PATCH] Add border for the shortcut view. --- setup/keyboardshortcut.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/setup/keyboardshortcut.py b/setup/keyboardshortcut.py index d85165f..9503939 100644 --- a/setup/keyboardshortcut.py +++ b/setup/keyboardshortcut.py @@ -39,9 +39,12 @@ class KeyboardShortcutSelection(gtk.VBox): self.pack_start(label, False, True, 4) # shortcuts view + viewport = gtk.Viewport() + viewport.set_shadow_type(gtk.SHADOW_IN) self.__shortcut_view = gtk.TreeView() self.__shortcut_view.set_size_request(-1, 100) - self.pack_start(self.__shortcut_view, True, True, 4) + viewport.add(self.__shortcut_view) + self.pack_start(viewport, True, True, 4) # key code hbox = gtk.HBox() -- 2.7.4