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.




2022 vala-language.org