%toolboxDTD; ]>
&options.selectDefaultTools.label2; &options.toolNotSupported.label;
&options.selectAdditionalTools.label;
&options.selectEnabledToolboxButtons.label;
&options.selectDevToolsTheme.label2;
&options.context.inspector; &options.showUserAgentStyles.label; &options.collapseAttrs.label; &options.defaultColorUnit.label;
&options.webconsole.label; &options.timestampMessages.label;
&options.debugger.label;
&options.styleeditor.label; &options.stylesheetAutocompletion.label;
&options.screenshot.label; &options.screenshot.clipboard.label; &options.screenshot.audio.label;
&options.sourceeditor.label; &options.sourceeditor.detectindentation.label; &options.sourceeditor.autoclosebrackets.label; &options.sourceeditor.expandtab.label; &options.sourceeditor.tabsize.label;
&options.sourceeditor.keybinding.label;
&options.context.advancedSettings; &options.sourceMaps.label; &options.showPlatformData.label; &options.disableHTTPCache.label; &options.disableJavaScript.label; &options.enableServiceWorkersHTTP.label; &options.enableChrome.label5; &options.enableRemote.label3; &options.context.triggersPageRefresh;