Added wrapping to MultipleLineStringEditor, e.g. in graph title setting.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@141 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/settings/MultipleLineStringEditor.java

@@ -49,6 +49,7 @@ public class MultipleLineStringEditor implements SettingEditor, KeyListener, Car
     {
         area = new JTextArea();
         area.setLineWrap(true);
+        area.setWrapStyleWord(true);
         font = new Font("monospaced", Font.PLAIN, 12);
         
         area.addCaretListener(this);