Ticket #3714: 0003-Correct-playlist-width-at-start-up.patch

File 0003-Correct-playlist-width-at-start-up.patch, 2.0 KB (added by humitos, 11 years ago)

  • activity.py 

    From 09cb187eee34459fcf479ea9d1d4cb9a93316511 Mon Sep 17 00:00:00 2001
From: Manuel Kaufmann <humitos@gmail.com>
Date: Wed, 16 Jan 2013 09:36:28 -0300
Subject: [PATCH Jukebox 3/5] Correct playlist width at start up

Set the width of the playlist at 1/3 of the screen width resolution at
startup, without using 'size-allocate' signal.

Signed-off-by: Manuel Kaufmann <humitos@gmail.com>
---
 activity.py                 | 8 ++------
 locale/bn_IN/activity.linfo | 2 --
 2 files changed, 2 insertions(+), 8 deletions(-)
 delete mode 100644 locale/bn_IN/activity.linfo

diff --git a/activity.py b/activity.py
index 54d4fa3..32834f4 100644
    a b class JukeboxActivity(activity.Activity): 
    8989
    9090        self.playlist_widget = PlayList()
    9191        self.playlist_widget.connect('play-index', self.__play_index)
     92        self.playlist_widget.set_size_request(
     93            Gdk.Screen.width() * PLAYLIST_WIDTH_PROP, 0)
    9294        self.playlist_widget.show()
    9395        self.canvas.pack_start(self.playlist_widget, False, True, 0)
    9496
    … … class JukeboxActivity(activity.Activity): 
    119121        self.set_canvas(self.canvas)
    120122        self._init_view_area()
    121123        self.show_all()
    122         self.canvas.connect('size-allocate', self.__size_allocate_cb)
    123124
    124125        self.player.init_view_area(self.videowidget)
    125126
    … … class JukeboxActivity(activity.Activity): 
    171172            self.view_area.set_current_page(0)
    172173        self.canvas.queue_draw()
    173174
    174     def __size_allocate_cb(self, widget, allocation):
    175         canvas_size = self.canvas.get_allocation()
    176         playlist_width = int(canvas_size.width * PLAYLIST_WIDTH_PROP)
    177         self.playlist_widget.set_size_request(playlist_width, 0)
    178 
    179175    def __key_press_event_cb(self, widget, event):
    180176        keyname = Gdk.keyval_name(event.keyval)
    181177

  • deleted file locale/bn_IN/activity.linfo 

    diff --git a/locale/bn_IN/activity.linfo b/locale/bn_IN/activity.linfo
deleted file mode 100644
index 404d25f..0000000
    + -  
    1 [Activity]
    2 name = àŠœà§àŠ•àŠ¬àŠ•à§àŠž