mfranz a75f1de1dd - n.getAttribute("children") instead of size(n.getChildren()), which is ... way faster to determine whether a node has children - cosmetics		2008-12-21 08:52:49 +00:00
..
dialogs	- n.getAttribute("children") instead of size(n.getChildren()), which is	2008-12-21 08:52:49 +00:00
styles	rename default.xml to classic.xml (who says that this needs to be the	2007-03-16 10:47:14 +00:00
menubar.xml	swap "save" and "load" to the typical order across operating systems, even	2008-07-29 00:09:57 +00:00