Text view issue in A6.1 alpha version

[grayswandyr]

Given this model:

sig S {}
run { all w,x,y,z: S | some u: S, disj s1, s2 : set S | #s1 + #s2 > 3 } for 4

Alloy 6 gives the following text view (after hitting New once):

while the Alloy 6.1 alpha version (seen in commit d531233) gives:

[grayswandyr]

PS: a Skolem depth of 4 must be set to test this.

[nmacedo]

Don't know what caused the change, but for the record it looks fine in macos.

[grayswandyr]

Clearly, one difference is between both my versions is apparently the switch from a vertical scrolling to an horizontal one. Might be buggy on Linux. Can we switch back to vertical (and will it be compatible with the great diff highlighting you implemented) ?

[nmacedo]

It's just a matter of switching the wrap flag to true here, but I don't know why it was changed in the first place, probably because wrapping messes us the table view?

org.alloytools.alloy/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4viz/VizGUI.java

Line 1136 in d1b71cf

final JTextArea ta = OurUtil.textarea(text, 10, 10, false, false);

[pkriens]

the horizontal scrolling was added for the table view, yes.

I will make it wrapped for text and unwrapped for tables.

[grayswandyr]

This is still broken.