- <menu id="colorMenu" label="&colorMenu;">
- <menupopup id="colorPopup" oncommand="setPalette();">
- <menuitem type="radio" id="colorBW" label="&colorBW;"/>
- <menuitem type="radio" id="colorKairo" label="&colorKairo;"/>
+ <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;"/>
+ </menupopup>
+ </menu>
+ </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;"/>