Skip to content

IDEServices.edit does not implement the focus selection at all #1049

@jurgenvinju

Description

@jurgenvinju

Describe the bug

  • I have multiple rascal locations printed in the same terminal (let's say the Messages in a tpl).
  • When I click the first, it opens an editor and sets the selection around the scope of the location
  • When I then click the next location in the same file, nothing happens.

Dumping this in a Rascal console should give enough workable examples

[
|project://rascal/src/org/rascalmpl/library/lang/pico/HiFiDemo.rsc|(0,1781,<1,0>,<59,1>),
|project://rascal/src/org/rascalmpl/library/lang/pico/HiFiDemo.rsc|(1591,1,<48,11>,<48,12>),
|project://rascal/src/org/rascalmpl/library/lang/pico/HiFiDemo.rsc|(1772,1,<58,11>,<58,12>),
|project://rascal/src/org/rascalmpl/library/analysis/diff/edits/HiFiTreeDiff.rsc|(16772,12,<289,17>,<289,29>),
|project://rascal/src/org/rascalmpl/library/analysis/diff/edits/HiFiTreeDiff.rsc|(14033,1,<239,9>,<239,10>),
|project://rascal/src/org/rascalmpl/library/analysis/diff/edits/HiFiTreeDiff.rsc|(13629,1,<232,25>,<232,26>)
]

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions