Move the debuggerSrc-parameter into the AppOptions

Having this parameter among a list of DOM-elements seems slightly strange now, however this is very old code hence the explanation for why this was done is for historical reasons (as is often the case).
Hence we can simply move this into `AppOptions` instead, which seems more appropriate overall.
This commit is contained in:
Jonas Jenwald 2024-01-28 17:12:24 +01:00
parent 2e2127cbb5
commit eb36fd375c
3 changed files with 7 additions and 4 deletions

View file

@ -105,6 +105,11 @@ const defaultOptions = {
value: 0,
kind: OptionKind.VIEWER + OptionKind.PREFERENCE,
},
debuggerSrc: {
/** @type {string} */
value: "./debugger.mjs",
kind: OptionKind.VIEWER,
},
defaultZoomDelay: {
/** @type {number} */
value: 400,