+ tree.visible = false; //!button.checked;
+ split.visible = false; //!button.checked;
+ if(false/*button.checked*/)
+ {
+ split.rightPane = view;
+ view.anchor = { top = 0, bottom = 0, right = 0 };
+ }
+ else
+ {
+ split.rightPane = null;
+ view.anchor = { left = 0, top = 0, bottom = 0, right = 0 };
+ }