Currently, the user has to double click on the outline view to navigte in the
text editor.
In JDT, a simple click is used to navigate the source code.
It should be better to use the same behavior for alloy too.
Original issue reported on code.google.com by vasseur....@gmail.com on 4 Apr 2011 at 11:54
Original issue reported on code.google.com by
vasseur....@gmail.com
on 4 Apr 2011 at 11:54