public MDIObjectEditor(String caption, String persistName, bool horizontal = true) : base(horizontal ? HorizontalLayoutName : VerticalLayoutName, persistName) { window.Caption = caption; uiCallback = new GuiFrameworkUICallback(); tree = new Tree((ScrollView)window.findWidget("TreeScroller")); editTreeView = new EditInterfaceTreeView(tree, uiCallback); addRemoveButtons = new AddRemoveButtons((Button)window.findWidget("Add"), (Button)window.findWidget("Remove"), window.findWidget("AddRemovePanel")); addRemoveButtons.VisibilityChanged += addRemoveButtons_VisibilityChanged; tableScroller = (ScrollView)window.findWidget("TableScroller"); table = new ResizingTable(tableScroller); propTable = new PropertiesTable(table, uiCallback, addRemoveButtons); objectEditor = new ObjectEditor(editTreeView, propTable, uiCallback); this.Resized += DebugVisualizer_Resized; gap = tableScroller.Bottom - addRemoveButtons.Top; splitter = new Splitter(window.findWidget("Splitter")); splitter.Widget1Resized += split => tree.layout(); splitter.Widget2Resized += split => table.layout(); }
public ContextualPropertiesEditor(PropertiesForm form, PropertiesTable table) { this.form = form; this.table = table; currentEditor = form; }