public class Workspace : Object {
public signal void name_changed ( ) ;
public void activate ( uint timestamp ) ;
public void change_name ( string name ) ;
public int get_height ( ) ;
public int get_layout_column ( ) ;
public int get_layout_row ( ) ;
public weak string get_name ( ) ;
public weak Workspace get_neighbor ( MotionDirection direction ) ;
public int get_number ( ) ;
public weak Screen get_screen ( ) ;
public int get_viewport_x ( ) ;
public int get_viewport_y ( ) ;
public int get_width ( ) ;
public bool is_virtual ( ) ;
public virtual void pad1 ( ) ;
public virtual void pad2 ( ) ;
public virtual void pad3 ( ) ;
public virtual void pad4 ( ) ;
}

public signal void name_changed ( ) ;
public void activate ( uint timestamp ) ;
public void change_name ( string name ) ;
public int get_height ( ) ;
public int get_layout_column ( ) ;
public int get_layout_row ( ) ;
public weak string get_name ( ) ;
public weak Workspace get_neighbor ( MotionDirection direction ) ;
public int get_number ( ) ;
public weak Screen get_screen ( ) ;
public int get_viewport_x ( ) ;
public int get_viewport_y ( ) ;
public int get_width ( ) ;
public bool is_virtual ( ) ;
public virtual void pad1 ( ) ;
public virtual void pad2 ( ) ;
public virtual void pad3 ( ) ;
public virtual void pad4 ( ) ;
Created by Valadoc