628629630631632633634635636637638
dispatchEvent(oldDockable, newDockable); } }; ActivationQueue queue = new ActivationQueue(this, deactivation, updater1, activation, updater2); queue.start(); } public int getPreferredViewpaneSize() { return dockbarLayout.getDesiredViewpaneSize(); }