[Mypal] Add controls for WASM.

master
Fedor 2020-08-12 10:01:36 +03:00
parent a3ec46e299
commit f21d318a5b
2 changed files with 16 additions and 0 deletions

View File

@ -32,6 +32,10 @@
type="wstring"
onchange="gContentPane._rebuildFonts();"/>
<!-- JavaScript -->
<preference id="javascript.options.wasm" name="javascript.options.wasm" type="bool"/>
<!-- VIDEO -->
<preference id="media.mediasource.enabled" name="media.mediasource.enabled" type="bool"/>
<preference id="media.mediasource.mp4.enabled" name="media.mediasource.mp4.enabled" type="bool"/>
@ -153,6 +157,14 @@
</hbox>
</groupbox>
<!-- Javascript -->
<groupbox id="jsOptionsGroup">
<caption label="&jsOptions.label;"/>
<checkbox id="jsOptionsWasm" preference="javascript.options.wasm"
label="&jsOptionsWasm.label;" accesskey="&jsOptionsWasm.accesskey;"/>
</groupbox>
<!-- Video -->
<groupbox id="videoGroup">
<caption label="&video.label;"/>

View File

@ -30,6 +30,10 @@
<!ENTITY chooseButton.label "Choose…">
<!ENTITY chooseButton.accesskey "o">
<!ENTITY jsOptions.label "JavaScript">
<!ENTITY jsOptionsWasm.label "Enable WebAssembly (WASM)">
<!ENTITY jsOptionsWasm.accesskey "y">
<!ENTITY video.label "Video">
<!ENTITY videoMSE.label "Enable Media Source Extensions (MSE)">
<!ENTITY videoMSE.accesskey "M">