message: Add an empty Sessions section to the Settings tab
diff: @@ -12,10 +12,16 @@ import { APPEARANCE_SETTINGS_TAG } from './AppearanceSettings';
  import { FRAME_SETTINGS_TAG } from './FrameSettings';
  import { GENERAL_SETTINGS_TAG} from './GeneralSettings';
  import { KEY_BINDINGS_SETTINGS_TAG } from './KeyBindingsSettings';
  +import { SESSION_SETTINGS_TAG } from './SessionSettings';
  import { KeyBindingsManager } from '../keybindings/KeyBindingManager';
  import { doLater } from '../../utils/DoLater';
  -for (const el of [GENERAL_SETTINGS_TAG, APPEARANCE_SETTINGS_TAG, FRAME_SETTINGS_TAG, KEY_BINDINGS_SETTINGS_TAG]) {
  +for (const el of [
  + GENERAL_SETTINGS_TAG,
  + APPEARANCE_SETTINGS_TAG,
  + FRAME_SETTINGS_TAG,
  + KEY_BINDINGS_SETTINGS_TAG,
  + SESSION_SETTINGS_TAG]) {
  if (Vue.config.ignoredElements.indexOf(el) === -1) {
  Vue.config.ignoredElements.push(el);
  }
  @@ -23,7 +29,7 @@ for (const el of [GENERAL_SETTINGS_TAG, APPEARANCE_SETTINGS_TAG, FRAME_SETTINGS_
  const ID_SETTINGS = "ID_SETTINGS";
  -type MenuItemId = "general" | "appearance" | "frames" | "keybindings";
  +type MenuItemId = "general" | "appearance" | "frame" | "keybindings" | "session";
  interface MenuItem {
  id: MenuItemId;
  @@ -61,8 +67,14 @@ interface MenuItem {
  </et-appearance-settings>
  </template>
  - <template v-if="firstShowComplete || selectedTab == 'frames'">
  - <et-frame-settings v-show="selectedTab == 'frames'"
  + <template v-if="firstShowComplete || selectedTab == 'session'">
  + <et-session-settings v-show="selectedTab == 'session'"
  + v-bind:configDistributor.prop="getConfigDistributor()">
  + </et-session-settings>
  + </template>
  +
  + <template v-if="firstShowComplete || selectedTab == 'frame'">
  + <et-frame-settings v-show="selectedTab == 'frame'"
  v-bind:configDistributor.prop="getConfigDistributor()">
  </et-frame-settings>
  </template>
  @@ -94,8 +106,9 @@ export class SettingsUi extends Vue {
  this.menuItems = [
  { id: "general", icon: "fa fa-sliders-h", title: "General"},
  { id: "appearance", icon: "fa fa-paint-brush", title: "Appearance"},
  + { id: "session", icon: "fa fa-terminal", title: "Sessions"},
  { id: "keybindings", icon: "far fa-keyboard", title: "Key Bindings"},
  - { id: "frames", icon: "far fa-window-maximize", title: "Frames"}
  + { id: "frame", icon: "far fa-window-maximize", title: "Frames"}
  ];
  }
  