Add "Show definition" context menu

ulidtko · ulidtko · commit c092453c9eb9 · 2019-02-01T15:54:25.000+02:00
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'
+        }
       ]
     }
   ]

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,10 @@`
`48`	`48`	`'label': 'Docs for'`
`49`	`49`	`'command': 'language-idris:docs-for'`
`50`	`50`	`}`
	`51`	`+ {`
	`52`	`+ 'label': 'Show definition'`
	`53`	`+ 'command': 'language-idris:print-definition'`
	`54`	`+ }`
`51`	`55`	`]`
`52`	`56`	`}`
`53`	`57`	`]`