diff options
Diffstat (limited to 'components/config/prefs.rs')
| -rw-r--r-- | components/config/prefs.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/components/config/prefs.rs b/components/config/prefs.rs index 5ac6b19d940..1ecc245ff9f 100644 --- a/components/config/prefs.rs +++ b/components/config/prefs.rs @@ -123,6 +123,12 @@ mod gen { }, }, }, + devtools: { + server: { + enabled: bool, + port: i64, + }, + }, dom: { webgpu: { enabled: bool, |