- <toolbarbutton id="prefMenu"
- type="menu"
- class="tabbable"
- label="&prefMenu.label;">
- <menupopup id="menu_prefPopup">
- <menu id="iterMenu" label="&iterMenu.label;">
- <menupopup id="menu_iterPopup" onpopupshowing="updateIterMenu();" oncommand="setIter(event.target.value);">
- <menuitem type="radio" name="iter" value="50" label="&iter50.label;"/>
- <menuitem type="radio" name="iter" value="100" label="&iter100.label;"/>
- <menuitem type="radio" name="iter" value="500" label="&iter500.label;"/>
- <menuitem type="radio" name="iter" value="1000" label="&iter1000.label;"/>
- </menupopup>
- </menu>
- <menu id="colorMenu" label="&colorMenu.label;">
- <menupopup id="menu_palettePopup" onpopupshowing="updatePaletteMenu();" oncommand="setPalette(event.target.value);">
- <menuitem type="radio" name="palette" value="bw" label="&colorBW.label;"/>
- <menuitem type="radio" name="palette" value="kairo" label="&colorKairo.label;"/>
- <menuitem type="radio" name="palette" value="rainbow-linear1" label="&colorRBLin1.label;"/>
- <menuitem type="radio" name="palette" value="rainbow-squared1" label="&colorRBSq1.label;"/>
- <menuitem type="radio" name="palette" value="rainbow-linear2" label="&colorRBLin2.label;"/>
- <menuitem type="radio" name="palette" value="rainbow-squared2" label="&colorRBSq2.label;"/>
- </menupopup>
- </menu>
- <menuitem id="imgSettings" label="&imgSettings.label;" oncommand="imgSettings();"/>
- </menupopup>
- </toolbarbutton>
- <toolbarbutton id="debugMenu"
- type="menu"
- class="tabbable"
- label="&debugMenu.label;">
- <menupopup id="menu_debugPopup" onpopupshowing="updateDebugMenu();">
- <menuitem type="checkbox" id="jitEnabled" label="&tracejitEnabled.label;" oncommand="toggleJITState(event.target, '');" hidden="true"/>
- <menuitem type="checkbox" id="tracejitEnabled" label="&tracejitEnabled.label;" oncommand="toggleJITState(event.target, 'trace');"/>
- <menuitem type="checkbox" id="methodjitEnabled" label="&methodjitEnabled.label;" oncommand="toggleJITState(event.target, 'method');"/>
- <menu id="algoMenu" label="&algoMenu.label;">
- <menupopup id="menu_algoPopup" onpopupshowing="updateAlgoMenu();" oncommand="setAlgorithm(event.target.value);">
- <menuitem type="radio" name="algorithm" value="numeric" label="&algoNumeric.label;"/>
- <menuitem type="radio" name="algorithm" value="oo" label="&algoOO.label;"/>
- </menupopup>
- </menu>
- </menupopup>
- </toolbarbutton>