[meld] filediff: Improve appearance and spacing of action 'buttons'
- From: Kai Willadsen <kaiw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [meld] filediff: Improve appearance and spacing of action 'buttons'
- Date: Sat, 15 Oct 2016 22:56:08 +0000 (UTC)
commit 82a5d61f407ba7d8aeb901abd8b538f7f525aa8b
Author: Kai Willadsen <kai willadsen gmail com>
Date: Sun Sep 25 08:32:50 2016 +1000
filediff: Improve appearance and spacing of action 'buttons'
meld/filediff.py | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/meld/filediff.py b/meld/filediff.py
index 4e4f74a..a990572 100644
--- a/meld/filediff.py
+++ b/meld/filediff.py
@@ -205,6 +205,9 @@ class FileDiff(melddoc.MeldDoc, gnomeglade.Component):
window = Gtk.TextWindowType.LEFT
views = [self.textview[pane], self.textview[pane + 1]]
renderer = GutterRendererChunkAction(pane, pane + 1, views, self, self.linediffer)
+ renderer.set_alignment_mode(GtkSource.GutterRendererAlignmentMode.FIRST)
+ renderer.set_padding(3, 0)
+ renderer.set_alignment(0.5, 0.5)
gutter = t.get_gutter(window)
gutter.insert(renderer, 10)
if pane in (1, 2):
@@ -213,6 +216,9 @@ class FileDiff(melddoc.MeldDoc, gnomeglade.Component):
window = Gtk.TextWindowType.RIGHT
views = [self.textview[pane], self.textview[pane - 1]]
renderer = GutterRendererChunkAction(pane, pane - 1, views, self, self.linediffer)
+ renderer.set_alignment_mode(GtkSource.GutterRendererAlignmentMode.FIRST)
+ renderer.set_padding(3, 0)
+ renderer.set_alignment(0.5, 0.5)
gutter = t.get_gutter(window)
gutter.insert(renderer, -40)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]