[Feature request]: Documentation on hover #3024
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: language server
Support for LSP in Dafny (server part; client is in ide-vscode repo)
Milestone
What is the feature you would like to see in a future version of Dafny?
I would like to have a place in the code to put my documentation, and when I hover over a function in my codebase, that documentation would be shown in my IDE.
Design suggestions
The text was updated successfully, but these errors were encountered: