When searching your project and opening e.g. a stratego file, the first time it opens it in the standard editor. If you close it and open it again, it will open it in the right IMP editor.

Submitted by Zef Hemel on 10 June 2010 at 15:43

On 18 April 2011 at 10:53 Lennart Kats tagged imp

On 8 January 2013 at 12:55 Eelco Visser removed tag 1.3

On 8 January 2013 at 12:55 Eelco Visser tagged interesting

On 8 January 2013 at 17:16 Gabriƫl Konat removed tag interesting

Log in to post comments