rascal icon indicating copy to clipboard operation
rascal copied to clipboard

rascal-eclipse cancel button does not work on incremental compilation process anymore

Open jurgenvinju opened this issue 3 years ago • 0 comments

Describe the bug

See title. Reproduce by any trigger that triggers a build of the rascal_compiler incremental builder and try to cancel it using the [] stop button of the progress viewer.

jurgenvinju avatar Jul 01 '22 12:07 jurgenvinju