def _set_client_properties(self, proto, wid, window, new_client_properties):
"""
Override so we can update the workspace on the window directly,
instead of storing it as a client property
"""
workspace = new_client_properties.get("workspace")
workspacelog("workspace from client properties %s: %s", new_client_properties, workspace)
if workspace is not None:
window.move_to_workspace(workspace)
#we have handled it on the window directly, so remove it from client properties
del new_client_properties["workspace"]
#handle the rest as normal:
X11ServerBase._set_client_properties(self, proto, wid, window, new_client_properties)
def _set_client_properties(self, proto, wid, window,
new_client_properties):
"""
Override so we can update the workspace on the window directly,
instead of storing it as a client property
"""
workspace = new_client_properties.get("workspace")
workspacelog("workspace from client properties %s: %s",
new_client_properties, workspace)
if workspace is not None:
window.move_to_workspace(workspace)
#we have handled it on the window directly, so remove it from client properties
del new_client_properties["workspace"]
#handle the rest as normal:
X11ServerBase._set_client_properties(self, proto, wid, window,
new_client_properties)
