Skip to content

Commit

Permalink
Add screenshot for hover
Browse files Browse the repository at this point in the history
  • Loading branch information
zjhmale committed Mar 23, 2017
1 parent ba0fd8c commit 3aa6424
Show file tree
Hide file tree
Showing 3 changed files with 10 additions and 6 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@

## Implemented features

[screenshots](https://github.com/zjhmale/vscode-idris/blob/master/features.md)
[screenshots](https://github.com/zjhmale/vscode-idris/blob/master/FEATURES.md)

| command | shortcut |
|---|---|
Expand All @@ -31,7 +31,8 @@
| Send selection to REPL | shift + cmd/ctrl + x |

* ipkg highlighting
* autocompletion
* Auto completion
* Show types on hover

## Installation

Expand All @@ -40,8 +41,7 @@

## Acknowledgements

* Grammar file is taken from [idris-sublime](https://github.com/idris-hackers/idris-sublime).
* Internal design is inspired by [atom-language-idris](https://github.com/idris-hackers/atom-language-idris).
* Internal design is inspired by [atom-language-idris](https://github.com/idris-hackers/atom-language-idris).

## License

Expand Down
8 changes: 6 additions & 2 deletions features.md
Original file line number Diff line number Diff line change
Expand Up @@ -88,10 +88,14 @@

![send-selection-repl](./images/screenshots/send-selection-repl.gif)

### ipkg highlighting

![ipkg](./images/screenshots/ipkg-highlight.png)

### Code completion

![completion](./images/screenshots/completion.gif)

### ipkg highlighting
### Show type on hover

![ipkg](./images/screenshots/ipkg-highlight.png)
![hover](./images/screenshots/hover.gif)
Binary file added images/screenshots/hover.gif
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit 3aa6424

Please sign in to comment.