public class Device : Object {
public weak string name ;
public InputSource source ;
public InputMode mode ;
public bool has_cursor ;
public int num_axes ;
public weak DeviceAxis axes ;
public int num_keys ;
public weak DeviceKey keys ;
public static void free_history ( TimeCoord[] events ) ;
public bool get_axis ( double axes,
AxisUse use,
double value ) ;
public static weak Device get_core_pointer ( ) ;
public bool get_history ( Window window,
uint start,
uint stop,
TimeCoord[] events ) ;
public void get_state ( Window window,
double axes,
ModifierType mask ) ;
public void set_axis_use ( uint index_,
AxisUse use ) ;
public void set_key ( uint index_,
uint keyval,
ModifierType modifiers ) ;
public bool set_mode ( InputMode mode ) ;
public void set_source ( InputSource source ) ;
}

public weak string name ;
public InputSource source ;
public InputMode mode ;
public bool has_cursor ;
public int num_axes ;
public weak DeviceAxis axes ;
public int num_keys ;
public weak DeviceKey keys ;
public static void free_history ( TimeCoord[] events ) ;
public bool get_axis ( double axes,
AxisUse use,
double value ) ;
public static weak Device get_core_pointer ( ) ;
public bool get_history ( Window window,
uint start,
uint stop,
TimeCoord[] events ) ;
public void get_state ( Window window,
double axes,
ModifierType mask ) ;
public void set_axis_use ( uint index_,
AxisUse use ) ;
public void set_key ( uint index_,
uint keyval,
ModifierType modifiers ) ;
public bool set_mode ( InputMode mode ) ;
public void set_source ( InputSource source ) ;
Created by Valadoc