- <property category="sys" name="uidesign.size.jalview.gimp.GCutAndPasteTransfer" value="400,436"/>\r
- <property category="sys" name="uidesign.size.jalview.gimp.GUserDefinedColours" value="464,485"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GAlignmentPanel" value="573,436"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GColorKey" value="442,252"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GColourKey" value="400,400"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GCutAndPasteTransfer" value="400,300"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GTreePanel" value="529,329"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.GUserDefinedColours" value="447,499"/>\r
- <property category="sys" name="uidesign.size.jalview.gui.TreePanel" value="402,303"/>\r
+ <property category="sys" name="uidesign.size.jalview.jbgui.GPreferences" value="453,333"/>\r
+ <property category="sys" name="uidesign.size.jalview.jbgui.GSequenceLink" value="400,112"/>\r
+ <file path="build.xml"/>\r