[pitivi] ruler: Add top margin
- From: Thibault Saunier <tsaunier src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [pitivi] ruler: Add top margin
- Date: Tue, 27 Jan 2015 18:39:04 +0000 (UTC)
commit bf2c852eb37f0e345934f7f5127b6b927d6bfae5
Author: Alexandru Băluț <alexandru balut gmail com>
Date: Wed Nov 19 17:39:35 2014 +0100
ruler: Add top margin
Fixes https://bugzilla.gnome.org/show_bug.cgi?id=738481
pitivi/timeline/timeline.py | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/pitivi/timeline/timeline.py b/pitivi/timeline/timeline.py
index 7bdbaff..e0d7012 100644
--- a/pitivi/timeline/timeline.py
+++ b/pitivi/timeline/timeline.py
@@ -936,6 +936,7 @@ class TimelineContainer(Gtk.Grid, Zoomable, Loggable):
# Some more.
EXPANDED_SIZE)
self.set_size_request(-1, min_height)
+ self.set_margin_top(SPACING)
def enableKeyboardAndMouseEvents(self):
self.info("Unblocking timeline mouse and keyboard signals")
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]