1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
  
//! A @@[Spinner] widget displays an icon-size spinning animation. It 
//! is often used as an alternative to a GtkProgressBar for displaying 
//! indefinite activity, instead of actual progress. 
//! 
//! To start the animation, use @@[start], to stop it use @@[stop] 
//! Properties: 
//! int active 
//! 
//! 
 
inherit GTK2.DrawingArea; 
 
protected GTK2.Spinner create( ); 
//! 
//! 
//! 
 
GTK2.Spinner start( ); 
//! Start the spinner 
//! 
//! 
 
GTK2.Spinner stop( ); 
//! Stop the spinner 
//! 
//!