From 40be0ad6f5e7349a0864dcf40f09bd55a3031340 Mon Sep 17 00:00:00 2001
From: kkapsner <github@mail.kkapsner.de>
Date: Wed, 3 Jul 2019 13:44:38 +0200
Subject: [PATCH] options: moved "Settings" to "General" group

For #353
---
 options/settingsDisplay.js | 36 ++++++++++++++++++------------------
 1 file changed, 18 insertions(+), 18 deletions(-)

diff --git a/options/settingsDisplay.js b/options/settingsDisplay.js
index af2248a..146687f 100644
--- a/options/settingsDisplay.js
+++ b/options/settingsDisplay.js
@@ -255,6 +255,24 @@
 						},
 					]
 				},
+				{
+					name: "settings",
+					settings: [
+						{
+							"name": "displayDescriptions"
+						},
+						{
+							"name": "openSettingSanitation"
+						},
+						{
+							"name": "exportSettings",
+							"actions": ["inspectSettings", "inspectWhitelist", "saveSettings", "loadSettings"]
+						},
+						{
+							"name": "resetSettings"
+						}
+					]
+				},
 			]
 		},
 		{
@@ -592,24 +610,6 @@
 						},
 					]
 				},
-				{
-					name: "settings",
-					settings: [
-						{
-							"name": "displayDescriptions"
-						},
-						{
-							"name": "openSettingSanitation"
-						},
-						{
-							"name": "exportSettings",
-							"actions": ["inspectSettings", "inspectWhitelist", "saveSettings", "loadSettings"]
-						},
-						{
-							"name": "resetSettings"
-						}
-					]
-				}
 			]
 		}
 	];