Wrap alignment added to preferences
authoramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 14:47:55 +0000 (14:47 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 7 Jun 2006 14:47:55 +0000 (14:47 +0000)
commite44514b727077d5cd7edb5d8184ab85cbc2eed13
tree1108fc8de6ad3af5508802eca09f79dd15bf656f
parentcdefedf239cfb9d70f5e6a1ba6ff8993bbf9d1be
Wrap alignment added to preferences
src/jalview/gui/AlignFrame.java
src/jalview/gui/CutAndPasteTransfer.java
src/jalview/gui/Desktop.java
src/jalview/gui/Preferences.java
src/jalview/gui/SeqPanel.java
src/jalview/gui/SequenceFetcher.java
src/jalview/io/FileLoader.java
src/jalview/jbgui/GPreferences.java