# HG changeset patch # User ib # Date 1359048717 0 # Node ID 42827680dfb9b73c15e930ac21b9f2ea866ecc4d # Parent eba3a00b9c922e7af35a9790789b3ca0df41b9e5 Cosmetic: Replace uiPlaybarShow(). diff -r eba3a00b9c92 -r 42827680dfb9 gui/ui/playbar.c --- a/gui/ui/playbar.c Thu Jan 24 17:28:34 2013 +0000 +++ b/gui/ui/playbar.c Thu Jan 24 17:31:57 2013 +0000 @@ -231,19 +231,6 @@ } } -void uiPlaybarShow( int y ) -{ - if ( !guiApp.playbarIsPresent || !gtkEnablePlayBar ) return; - if ( !guiApp.videoWindow.isFullScreen ) return; - - if ( y > guiApp.videoWindow.Height - guiApp.playbar.height ) - { - if ( !uiPlaybarFade ) wsWindowVisibility( &guiApp.playbarWindow,wsShowWindow ); - uiPlaybarFade=1; playbarVisible=True; wsWindowRedraw( &guiApp.playbarWindow ); - } - else if ( !uiPlaybarFade ) uiPlaybarFade=2; -} - void uiPlaybarInit( void ) { if ( !guiApp.playbarIsPresent ) return; @@ -269,3 +256,16 @@ playbarLength=guiApp.videoWindow.Height; } + +void uiPlaybarShow( int y ) +{ + if ( !guiApp.playbarIsPresent || !gtkEnablePlayBar ) return; + if ( !guiApp.videoWindow.isFullScreen ) return; + + if ( y > guiApp.videoWindow.Height - guiApp.playbar.height ) + { + if ( !uiPlaybarFade ) wsWindowVisibility( &guiApp.playbarWindow,wsShowWindow ); + uiPlaybarFade=1; playbarVisible=True; wsWindowRedraw( &guiApp.playbarWindow ); + } + else if ( !uiPlaybarFade ) uiPlaybarFade=2; +}