add note about desktopManager
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 10:41:22 +0000 (10:41 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 10:41:22 +0000 (10:41 +0000)
commitdeb59934fa7ad2240efc8516a8115caee0a05f63
tree1a06a2e12367014a60982a01521ebd9ee71b703f
parent030e9e7ab937faceadddd79d73eb56007d075625
add note about desktopManager
src/jalview/gui/Desktop.java