Add "Show definition" context menu

ulidtko · May 1, 2018 · bee20ee · bee20ee
1 parent cb9e33e
commit bee20ee
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/menus/language-idris.cson b/menus/language-idris.cson
@@ -48,6 +48,10 @@
           'label': 'Docs for'
           'command': 'language-idris:docs-for'
         }
+        {
+          'label': 'Show definition'
+          'command': 'language-idris:print-definition'
+        }
       ]
     }
   ]