Changeset 05c276b04d8ed08e049d84586afe92c557a1d4f7

Show
Ignore:
Timestamp:
21/11/06 16:59:50 (2 years ago)
Author:
Rafaël Carré <funman@videolan.org>
git-committer:
Rafaël Carré <funman@videolan.org> 1164124790 +0000
git-parent:

[79aedbd56409f7a664f8fb4fb122fbda29bd6cfc]

git-author:
Rafaël Carré <funman@videolan.org> 1164124790 +0000
Message:

Fixes input position display

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • extras/dbus-vlc.glade

    r7930c1b r05c276b  
    11<?xml version="1.0" encoding="UTF-8" standalone="no"?> 
    22<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd"> 
    3 <!--Generated with glade3 3.0.2 on Tue Nov 21 15:28:41 2006 by fun@zod--> 
     3<!--Generated with glade3 3.0.2 on Tue Nov 21 16:05:19 2006 by fun@zod--> 
    44<glade-interface> 
    55  <widget class="GtkWindow" id="window1"> 
    …… 
    142142                    <child> 
    143143                      <widget class="GtkHScale" id="time_s"> 
    144                         <property name="width_request">107</property> 
     144                        <property name="width_request">183</property> 
    145145                        <property name="height_request">20</property> 
    146146                        <property name="visible">True</property> 
    147                         <property name="adjustment">0 0 100 1 10 10</property> 
     147                        <property name="adjustment">0 0 1000 10 100 0</property> 
    148148                        <property name="digits">-1</property> 
    149149                        <property name="draw_value">False</property> 
    150150                        <property name="value_pos">GTK_POS_RIGHT</property> 
    151151                      </widget> 
     152                      <packing> 
     153                        <property name="expand">False</property> 
     154                        <property name="fill">False</property> 
     155                      </packing> 
    152156                    </child> 
    153157                    <child> 
    …… 
    165169                      <packing> 
    166170                        <property name="expand">False</property> 
     171                        <property name="fill">False</property> 
    167172                        <property name="position">1</property> 
    168173                      </packing> 
    169174                    </child> 
    170175                  </widget> 
     176                  <packing> 
     177                    <property name="expand">False</property> 
     178                    <property name="fill">False</property> 
     179                  </packing> 
    171180                </child> 
    172181                <child> 

  • extras/dbus-vlc.py

    r7930c1b r05c276b  
    3131global position 
    3232global timer 
     33global playing 
    3334 
    3435def itemchange_handler(item): 
    …… 
    5354 
    5455def Next(widget): 
    55     interface.Next() 
     56    interface.Next(reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    5657    update(0) 
    5758 
    5859def Prev(widget): 
    59     interface.Prev() 
     60    interface.Prev(reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    6061    update(0) 
    6162 
    6263def Stop(widget): 
    63     interface.Stop() 
     64    interface.Stop(reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    6465    update(0) 
    6566 
    …… 
    7071 
    7172def GetPlayStatus(widget): 
    72     global timer 
     73    global playing 
    7374    status = str(interface.GetPlayStatus()) 
    7475    if status == "playing": 
    7576        img_bt_toggle.set_from_stock("gtk-media-pause", gtk.ICON_SIZE_SMALL_TOOLBAR) 
    76         timer = gobject.timeout_add( 2000, timeset) 
     77        gobject.timeout_add( 2000, timeset) 
     78        playing = True 
    7779    else: 
    7880        img_bt_toggle.set_from_stock("gtk-media-play", gtk.ICON_SIZE_SMALL_TOOLBAR) 
    79         gobject.timeout_remove(timer) 
     81        playing = False 
    8082 
    8183def Quit(widget): 
    82     interface.Quit() 
     84    interface.Quit(reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    8385    l_item.set_text("") 
    8486 
    …… 
    9193 
    9294def volchange(widget, data): 
    93     interface.VolumeSet(vol.get_value_as_int(), reply_handler=(lambda: None), error_handler=(lambda: None)) 
     95    interface.VolumeSet(vol.get_value_as_int(), reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    9496 
    9597def timechange(widget, x=None, y=None): 
    96     interface.PositionSet(time_s.get_value() * 10, reply_handler=(lambda: None), error_handler=(lambda: None)) 
     98    interface.PositionSet(time_s.get_value(), reply_handler=(lambda *args: None), error_handler=(lambda *args: None)) 
    9799 
    98100def timeset(): 
    99     time_s.set_value(interface.PositionGet() / 10) 
    100     return True 
     101    global playing 
     102    time_s.set_value(interface.PositionGet()) 
     103    return playing 
    101104 
    102105def expander(widget):