release_workspace_layout

Description:

public void release_workspace_layout (int current_token)

Releases the ownership of the layout of Workspace on this.

current_token is used to verify that the caller is the owner of the layout. If the verification fails, nothing happens.

Parameters:

this

a Screen.
current_token

the token obtained through try_set_workspace_layout.