diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-08-16 14:46:21 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-08-16 14:46:21 (GMT) |
| commit | ba8a731aa171a47932010abc83fd51adb59de08c (patch) | |
| tree | 8ed31325799783bd07ca2ce6263b91bdd8c6e00e /shell/view/frame/frameinvoker.py | |
| parent | 4ad4fe9ec8caf64f99714bbc63435d4ffbc5bb8d (diff) | |
Add a border to the frame.
Diffstat (limited to 'shell/view/frame/frameinvoker.py')
| -rw-r--r-- | shell/view/frame/frameinvoker.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/view/frame/frameinvoker.py b/shell/view/frame/frameinvoker.py index 1b99d50..e0f2859 100644 --- a/shell/view/frame/frameinvoker.py +++ b/shell/view/frame/frameinvoker.py @@ -29,7 +29,7 @@ class FrameCanvasInvoker(CanvasInvoker): return Palette.AROUND def get_screen_area(self): - frame_thickness = style.zoom(75) + frame_thickness = style.GRID_CELL_SIZE - style.LINE_WIDTH x = y = frame_thickness width = gtk.gdk.screen_width() - frame_thickness |