- window.opera.jsarmor.toggle_menu() external api
- show scripts filenames in submenu !
- fixed split_url()
- [ options ][ details ] thing
- options menu a little less messy (borderline html-wise)
- use options menus and buttons
- rescue mode msg
- xml_macros: support open macro tags -> just define </name> as well