changeset 35765:42827680dfb9

Cosmetic: Replace uiPlaybarShow().
author ib
date Thu, 24 Jan 2013 17:31:57 +0000
parents eba3a00b9c92
children 16ed8155439b
files gui/ui/playbar.c
diffstat 1 files changed, 13 insertions(+), 13 deletions(-) [+]
line wrap: on
line diff
--- 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;
+}