set_controller

Description:

public void set_controller (DockObject new_controller)

Set a new controller.

The controller must be a top level DockObject.

Parameters:

this

a DockMaster
new_controller

a DockObject