|
|
@@ -283,7 +283,7 @@ export const settings: Setting[] = [
|
|
|
keywords: ["selection", "clipboard"],
|
|
|
},
|
|
|
{
|
|
|
- title: "DevTools",
|
|
|
+ title: "Developer tools",
|
|
|
category: "Debug",
|
|
|
path: ["debug", "devtools"],
|
|
|
default: false,
|
|
|
@@ -291,15 +291,6 @@ export const settings: Setting[] = [
|
|
|
labels: ["off", "on"],
|
|
|
keywords: ["debug bar", "developer tools"],
|
|
|
},
|
|
|
- {
|
|
|
- title: "Turn token usage",
|
|
|
- category: "Debug",
|
|
|
- path: ["debug", "turn_tokens"],
|
|
|
- default: false,
|
|
|
- values: [false, true, "verbose"],
|
|
|
- labels: ["off", "on", "verbose"],
|
|
|
- keywords: ["tokens", "usage", "debug"],
|
|
|
- },
|
|
|
]
|
|
|
|
|
|
export function settingID(setting: Setting) {
|