Markus Klink
Markus Klink
Good idea, And while at it, support the eclipse plugin logic of "idea with-sources=true", please
This still happens in sbt 1.2.8 and 1.3.0
Can confirm this on 0.8.0.
I would also be interested in this.
Is this reproducible when you stop and restart Atom? If no, my guess would be that reconfiguring the keyboard settings somehow "refreshed" atom and the connection to the idris process...
This makes me believe that you did maybe never set the path in the settings of the idris plugin. The REDMAE can be impoprived here: The package should work after...
https://github.com/idris-lang/Idris-dev/issues/4549 @bukzor thanks for the detailed steps to reproduce. I will fix this in Atom but the problem originates in idris itself. As for the with clauses -have a look...
Yes, that is true, we still fail to restart idris. And sorry for linking wrong PRs, I had som many changes in a branch and had a good time this...
I guess Ctrl+Alt+s is possibly blocked by some other atom plugin or windows. I just tried it on my Μac without problems. The context menus (right click) are configured differently...
I'll find some time at the beginning of next week. Glad to test.