[pitivi] ui/sourcelist.py: Use the PADDING property instead of hard coding it

[Edward Hervey <edwardrv src gnome org>]

commit 8ea68c8afdce75ac315bcc07739f83031d300125
Author: Thibault Saunier <tsaunier gnome org>
Date:   Sat Aug 14 15:07:12 2010 -0400

    ui/sourcelist.py: Use the PADDING property instead of hard coding it

 pitivi/ui/sourcelist.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/pitivi/ui/sourcelist.py b/pitivi/ui/sourcelist.py
index b68bd8c..89a91b6 100644
--- a/pitivi/ui/sourcelist.py
+++ b/pitivi/ui/sourcelist.py
@@ -40,7 +40,7 @@ from pitivi.stream import VideoStream, AudioStream, TextStream, \
 from pitivi.settings import GlobalSettings
 from pitivi.utils import beautify_length
 from pitivi.ui.common import beautify_factory, factory_name, \
-    beautify_stream
+    beautify_stream, PADDING
 from pitivi.log.loggable import Loggable
 from pitivi.sourcelist import SourceListError
 
@@ -206,7 +206,7 @@ class SourceList(gtk.VBox, Loggable):
         infobar = gtk.InfoBar()
 
         txtlabel = gtk.Label()
-        txtlabel.set_padding(10, 10)
+        txtlabel.set_padding(PADDING, PADDING)
         txtlabel.set_line_wrap(True)
         txtlabel.set_line_wrap_mode(pango.WRAP_WORD)
         txtlabel.set_justify(gtk.JUSTIFY_CENTER)