public void ShowDevTools() { var dt = new DevTools(_engine, _objects, Source); dt.Focus(); dt.Show(); }
public TextEditor GetEditor() { var dt = new DevTools(_engine, _objects, Source); return dt.editor; }