Braids 1df5c1aa55 Fixed compatibility with Java 7. ...

Problem was due to inability to deserialize display_new_layout.xml. I changed that file's default serializer to XStream. This fix maintains compatibility with existing display_new_layout.xml when possible, and uses an XStream-generated display_layout.xml when it cannot parse the former.

Note this updates the default display_layout.xml, which looks OK under Windows XP with resolution 1024x768.

Bug: 144

2011-08-22 01:54:21 +00:00

..

display_layout.xml

Fixed compatibility with Java 7.

2011-08-22 01:54:21 +00:00

gui.properties

init2

2011-08-09 19:34:12 +00:00