Selecting multiple outline elements does not change selection
I select multiple elements in the tree, however this is not reflected in the aterm editor. please see attached screenshot
Submitted by Bernhard Merkle on 21 October 2010 at 05:27
Attachments
Issue Log
On 8 January 2013 at 16:39 Gabriël Konat tagged outline
On 8 January 2013 at 16:39 Gabriël Konat tagged editor
On 8 January 2013 at 16:40 Gabriël Konat tagged minor
On 27 August 2013 at 19:08 Oskar van Rest commented:
This is now fixed in nightly.
When selecting multiple outline nodes, a smallest consecutive region of text gets selected in the editor such that it includes all the elements corresponding to the outline nodes. The region may also include elements corresponding to outline nodes that are not selected. This because Eclipse does not have support for multi text selections.
On 27 August 2013 at 19:08 Oskar van Rest closed this issue.
Log in to post comments