From: <wal...@us...> - 2009-01-13 16:23:56
|
Revision: 9657 http://translate.svn.sourceforge.net/translate/?rev=9657&view=rev Author: walter_l Date: 2009-01-13 16:23:45 +0000 (Tue, 13 Jan 2009) Log Message: ----------- Set the shadow for the TM window's scrolled window to act as a border. It was also necessary to adjust other width and height parameters to make up for the one- or two pixel wide border. This is probably system-/theme dependent, so could be wrong. This fixes bug 684. Modified Paths: -------------- src/trunk/virtaal/virtaal/plugins/tm/tmwidgets.py Modified: src/trunk/virtaal/virtaal/plugins/tm/tmwidgets.py =================================================================== --- src/trunk/virtaal/virtaal/plugins/tm/tmwidgets.py 2009-01-13 16:08:40 UTC (rev 9656) +++ src/trunk/virtaal/virtaal/plugins/tm/tmwidgets.py 2009-01-13 16:23:45 UTC (rev 9657) @@ -43,6 +43,7 @@ def _build_gui(self): self.scrolled_window = gtk.ScrolledWindow() self.scrolled_window.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC) + self.scrolled_window.set_shadow_type(gtk.SHADOW_IN) self.treeview = self._create_treeview() @@ -101,7 +102,7 @@ y += widget_alloc.height + 2 width = widget_alloc.width + self.tvc_perc.get_width() + scrollbar_width - height = min(self.rows_height(), self.MAX_HEIGHT) + height = min(self.rows_height(), self.MAX_HEIGHT) + 2 logging.debug('-> %dx%d +%d+%d' % (width, height, x, y)) self.set_size_request(width, height) @@ -139,7 +140,7 @@ ), } - BOX_MARGIN = 2 + BOX_MARGIN = 3 """The number of pixels between where the source box is drawn and where the text layout begins.""" LINE_SEPARATION = 10 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |