Right click for case split/add definition/etc?

[edwinb]

I'm not sure if this is easy or even possible in atom, but it might be nice to be able to do a case split or add definition by right clicking on a name, as well as using the keyboard shortcuts. I see there is "docs for" in the right-click menu so maybe it can be done.

I wouldn't expect most users to use this much, but it could at least help with discovery of features when new users are experimenting, and if anyone forgets a keyboard shortcut.

[archaeron]

Hello

it is somewhat possible. As far as I can tell there is no whay of knowing where someone did the rightclick. I can read where the cursor is, but it could be at a different position than the rightclick. So the "docs for" command in the right click menu doesn't exactly do what I would expect.

In the main menu under Packages -> Idris there is another menu. I could add all the commands there. That would probably help a bit.

[altaic]

FYI, the ide-haskell package does this via the context menu as well as the menu bar. You also can get the mouse position or cursor position at any time, though I don't remember how off the top of my head.