From 1c7edf25b11adc9be22ebdfc606baad7038752ee Mon Sep 17 00:00:00 2001
From: Sarah Vessels <cheshire137@gmail.com>
Date: Sun, 15 Jul 2018 20:19:26 -0500
Subject: [PATCH] Move options to Tools in Windows

---
 src/models/AppMenu.js | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/models/AppMenu.js b/src/models/AppMenu.js
index 055249f..16d0220 100644
--- a/src/models/AppMenu.js
+++ b/src/models/AppMenu.js
@@ -220,7 +220,7 @@ class AppMenu {
     const self = this
 
     return {
-      label: this.isMac ? 'Preferences' : 'Settings',
+      label: this.isMac ? 'Preferences' : 'Options',
       accelerator: `CmdOrCtrl+,`,
       click() { self.onPageChange('settings') }
     }
@@ -236,10 +236,6 @@ class AppMenu {
 
   editSubmenu() {
     const submenu = []
-    if (!this.isMac) {
-      submenu.push(this.settingsMenuItem())
-      submenu.push({ type: 'separator' })
-    }
     submenu.push({ role: 'undo' })
     submenu.push({ role: 'redo' })
     submenu.push({ type: 'separator' })
@@ -254,7 +250,12 @@ class AppMenu {
     const submenu = []
     if (this.showLogMatchMenuItem) {
       submenu.push(this.importMatchesMenuItem())
-      submenu.push({ type: 'separator' })
+    }
+    if (!this.isMac) {
+      submenu.push(this.settingsMenuItem())
+    }
+    if (!this.isMac || this.showLogMatchMenuItem) {
+      submenu.push({ type: 'separator' })      
     }
     submenu.push(this.developerToolsMenuItem())
     return submenu