From c9a2c15495d65526d22cb4a2bc19cf481f00dda6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20Qui=C3=B1ones?= <manuq@laptop.org>
Date: Wed, 23 Jan 2013 16:26:52 -0300
Subject: [PATCH shell] ViewSource: remove resize grip - SL #4397
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Mail-Followup-To: <sugar-devel@lists.sugarlabs.org>
See 3b582af9 which is the commit that changed this to the rest of the
Gtk.Windows in the shell.
Signed-off-by: Manuel Quiñones <manuq@laptop.org>
---
src/jarabe/view/viewsource.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/jarabe/view/viewsource.py b/src/jarabe/view/viewsource.py
index d23038b..c8e2894 100644
a
|
b
|
class ViewSource(Gtk.Window): |
122 | 122 | self.set_decorated(False) |
123 | 123 | self.set_position(Gtk.WindowPosition.CENTER_ALWAYS) |
124 | 124 | self.set_border_width(style.LINE_WIDTH) |
| 125 | self.set_has_resize_grip(False) |
125 | 126 | |
126 | 127 | width = Gdk.Screen.width() - style.GRID_CELL_SIZE * 2 |
127 | 128 | height = Gdk.Screen.height() - style.GRID_CELL_SIZE * 2 |