[pitivi] elements: Use simple box to split between clip containees
- From: Thibault Saunier <tsaunier src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [pitivi] elements: Use simple box to split between clip containees
- Date: Thu, 11 Jun 2015 09:16:48 +0000 (UTC)
commit 5520310c7d6b7fd07bf9ee5205fbcd1688633dcb
Author: Thibault Saunier <tsaunier gnome org>
Date: Sun May 3 08:51:36 2015 +0200
elements: Use simple box to split between clip containees
Summary: No reason for a Paned there
Reviewers: Mathieu_Du
Differential Revision: http://phabricator.freedesktop.org/D144
pitivi/timeline/elements.py | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/pitivi/timeline/elements.py b/pitivi/timeline/elements.py
index 82ad897..1a7a239 100644
--- a/pitivi/timeline/elements.py
+++ b/pitivi/timeline/elements.py
@@ -720,7 +720,7 @@ class SourceClip(Clip):
overlay = Gtk.Overlay()
self.add(overlay)
- self._elements_container = Gtk.Paned.new(Gtk.Orientation.VERTICAL)
+ self._elements_container = Gtk.Box.new(Gtk.Orientation.VERTICAL, 2)
overlay.add_overlay(self._elements_container)
self.leftHandle = TrimHandle(self, GES.Edge.EDGE_START)
@@ -753,12 +753,12 @@ class UriClip(SourceClip):
if child.get_track_type() == GES.TrackType.AUDIO:
self._audioSource = AudioUriSource(child, self.timeline)
child.ui = self._audioSource
- self._elements_container.pack2(self._audioSource, True, False)
+ self._elements_container.pack_end(self._audioSource, True, False, 0)
self._audioSource.set_visible(True)
elif child.get_track_type() == GES.TrackType.VIDEO:
self._videoSource = VideoUriSource(child, self.timeline)
child.ui = self._videoSource
- self._elements_container.pack1(self._videoSource, True, False)
+ self._elements_container.pack_start(self._videoSource, True, False, 0)
self._videoSource.set_visible(True)
else:
child.ui = None
@@ -772,7 +772,7 @@ class TitleClip(SourceClip):
if child.get_track_type() == GES.TrackType.VIDEO:
self._videoSource = VideoSource(child, self.timeline)
child.ui = self._videoSource
- self._elements_container.pack1(self._videoSource, True, False)
+ self._elements_container.pack_start(self._videoSource, True, False, 0)
self._videoSource.set_visible(True)
else:
child.ui = None
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]