public class NumberEditor : Container, Implementor, Buildable {
public weak int value { get; set; } ;
public NumberEditor ( int min,
int max ) ;
public signal bool range_error ( NumberEditorErrorType type ) ;
public int get_value ( ) ;
public void set_range ( int min,
int max ) ;
public void set_value ( int value ) ;
}

public NumberEditor ( int min,
int max ) ;
public signal bool range_error ( NumberEditorErrorType type ) ;
public weak int value { get; set; } ;
public int get_value ( ) ;
public void set_range ( int min,
int max ) ;
public void set_value ( int value ) ;
Created by Valadoc