in lib/playground.dart [831:876]
void _changeLayout(Layout layout) {
if (_layout == layout) {
return;
}
_layout = layout;
switch (layout) {
case Layout.dart:
_frame.hidden = true;
_editorPanelFooter.setAttr('hidden');
_disposeOutputPanelTabs();
_rightDocPanel.attributes.remove('hidden');
_rightConsoleElement.attributes.remove('hidden');
_webTabBar.setAttr('hidden');
_webLayoutTabController.selectTab('dart');
_initRightSplitter();
_editorPanelHeader.setAttr('hidden');
_webOutputLabel.setAttr('hidden');
break;
case Layout.html:
_disposeRightSplitter();
_frame.hidden = false;
_editorPanelFooter.clearAttr('hidden');
_initOutputPanelTabs();
_rightDocPanel.setAttribute('hidden', '');
_rightConsoleElement.setAttribute('hidden', '');
_webTabBar.toggleAttr('hidden', false);
_webLayoutTabController.selectTab('dart');
_editorPanelHeader.clearAttr('hidden');
_webOutputLabel.setAttr('hidden');
break;
case Layout.flutter:
_disposeRightSplitter();
_frame.hidden = false;
_editorPanelFooter.clearAttr('hidden');
_initOutputPanelTabs();
_rightDocPanel.setAttribute('hidden', '');
_rightConsoleElement.setAttribute('hidden', '');
_webTabBar.setAttr('hidden');
_webLayoutTabController.selectTab('dart');
_editorPanelHeader.setAttr('hidden');
_webOutputLabel.clearAttr('hidden');
break;
}
}