public void EditorClose() { if (_commands != null) { _uiWrapper.SafeInstance.DetachPluginUI(); _commands.EditorClose(); } _uiWrapper.Close(); }
/// <summary> /// Closes the editor /// </summary> public void Close() { lock (guiLock) // only 1 thread can access the GUI at the same to prevent deadlocks { _uiWrapper.Close(); _uiWrapper.SafeInstance.Dispose(); IsOpen = false; } }
public void Close() { _view.Close(); }
public void Close() { _repeater.Close(); }
public void Close() { _uiWrapper.Close(); }