Scratch

Merge lp:~giacky98/scratch/fix-1086931-tablabel-padding into lp:~elementary-apps/scratch/scratch

  1. fix-1086931-tablabel-padding
  2. Merge into scratch
Proposed by Giacomo De Lazzari
Status: Merged
Approved by: Mario Guerriero
Approved revision: 996
Merged at revision: 1003
Proposed branch: lp:~giacky98/scratch/fix-1086931-tablabel-padding
Merge into: lp:~elementary-apps/scratch/scratch
Diff against target: 11 lines (+1/-0)
1 file modified
src/Widgets/TabLabel.vala (+1/-0)
To merge this branch: bzr merge lp:~giacky98/scratch/fix-1086931-tablabel-padding
Reviewer Review Type Date Requested Status
elementary Apps team Pending
Review via email: mp+150613@code.launchpad.net
To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/Widgets/TabLabel.vala'
2--- src/Widgets/TabLabel.vala 2012-10-28 12:45:58 +0000
3+++ src/Widgets/TabLabel.vala 2013-02-26 16:33:24 +0000
4@@ -44,6 +44,7 @@
5
6 label = new Label (labeltext);
7 label.use_markup = true;
8+ label.set_margin_right(6);
9 entry = new Entry ();
10
11 event_box = new EventBox ();

Subscribers

People subscribed via source and target branches