Unique.Backend.get_workspace – unique-1.0 Reference Manual
Packages
unique-1.0
Unique
Backend
create
Backend
get_name
get_screen
get_startup_id
get_workspace
request_name
send_message
set_name
set_screen
set_startup_id
name
parent
screen
startup_id
workspace
get_workspace
Description:
public
uint
get_workspace
()
Retrieves the current workspace.
Parameters:
this
a
Backend
Returns:
a workspace number