void _changeLayout()

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;
    }
  }