+ <menuitem id="fileQuit" label="&fileQuit.label;" oncommand="quitApp(false);"/>
+ </menupopup>
+ </menu>
+ <menu id="bookmarkMenu" label="&bookmarkMenu.label;">
+ <menupopup id="menu_bookmarkPopup"
+ onpopupshowing="updateBookmarkMenu(event.target);"
+ oncommand="callBookmark(event.target);">
+ <menuitem id="bookmarkOverview" label="&bookmarkOverview.label;"/>
+ <menuitem id="bookmarkSave" label="&bookmarkSave.label;" oncommand="saveBookmark();"/>
+ <menuseparator id="bookmarkSeparator"/>
+ </menupopup>
+ </menu>
+ <menu id="prefMenu" 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>
+ </menu>
+ <menu id="debugMenu" label="&debugMenu.label;">
+ <menupopup id="menu_debugPopup" onpopupshowing="updateDebugMenu();">
+ <menuitem type="checkbox" id="jitEnabled" label="&jitEnabled.label;" oncommand="toggleJITState(event.target);"/>
+ <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>
+ <menuitem id="errorConsole" label="&errorConsole.label;"
+ oncommand="errorConsole();"/>
+ <menuitem id="addonsMgr" label="&addonsManager.label;"
+ oncommand="addonsManager();"/>