options: moved "Settings" to "General" group

For #353
This commit is contained in:
kkapsner 2019-07-03 13:44:38 +02:00
parent e698a6372b
commit 40be0ad6f5
1 changed files with 18 additions and 18 deletions

View File

@ -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"
}
]
}
]
}
];