From 795fcaf246adddfd1581d34753619f680cf2fe34 Mon Sep 17 00:00:00 2001 From: Leonardo Robol Date: Tue, 3 Nov 2009 08:55:36 +0100 Subject: [PATCH] Un po' di ridimensionamenti nell'interfaccia --- RaiTV/Interface.py | 6 +++--- RaiTV/VideoWidget.py | 2 +- ui/RaiTV.ui | 21 +++++++++++++++++---- 3 files changed, 21 insertions(+), 8 deletions(-) diff --git a/RaiTV/Interface.py b/RaiTV/Interface.py index aa09db1..db603e0 100644 --- a/RaiTV/Interface.py +++ b/RaiTV/Interface.py @@ -32,10 +32,10 @@ class UI(): ## Questo hbox รจ quello dove dobbiamo inserire ## la videowidget - self.hbox1 = self.builder.get_object("hbox1") + self.pannellocentrale = self.builder.get_object("pannellocentrale") self.videowidget = VideoWidget() - self.hbox1.pack_start(self.videowidget) + self.pannellocentrale.pack2(self.videowidget) ## Visualizziamo il nome del canale col = gtk.TreeViewColumn("Selezione canale") @@ -45,7 +45,7 @@ class UI(): self.listacanali.append_column(col) ## Qualche setting prima di partire - self.win.resize(640,480) + self.win.resize(740,480) ## Carico i pulsanti self.stop_btn, self.play_btn, self.pause_btn, self.record_btn, self.updatelist = \ diff --git a/RaiTV/VideoWidget.py b/RaiTV/VideoWidget.py index 91621b6..08445f3 100644 --- a/RaiTV/VideoWidget.py +++ b/RaiTV/VideoWidget.py @@ -78,7 +78,7 @@ class VideoWidget(gtk.DrawingArea): ## di nero gtk.DrawingArea.__init__(self) - self.set_size_request(320,320) + self.set_size_request(240,240) self.unset_flags(gtk.DOUBLE_BUFFERED) ## Connetto l'expose-event diff --git a/ui/RaiTV.ui b/ui/RaiTV.ui index f0481bd..f018a39 100644 --- a/ui/RaiTV.ui +++ b/ui/RaiTV.ui @@ -154,10 +154,12 @@ - + True + True + 180 True True automatic @@ -172,7 +174,8 @@ - 0 + False + True @@ -184,6 +187,16 @@ + + True + + + False + 2 + 2 + + + True @@ -288,7 +301,7 @@ False - 2 + 3 @@ -298,7 +311,7 @@ False - 3 + 4 -- 2.1.4