update_size_and_position


Description:

public void update_size_and_position ()

Sets the size of the dock window and repositions it if needed.