Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

F# interactive directives not showing docs once written down, also true for #nowarn, coloring is not conistent (purple?) #1225

Open
3 of 4 tasks
jkone27 opened this issue Jan 27, 2024 · 1 comment

Comments

@jkone27
Copy link
Contributor

jkone27 commented Jan 27, 2024

Details

not sure if this or ionide is the right repo..

no docs are provided to the user for dotnet interactive directives, like #r, or #i or other directives,
it would be useful if all interactive directives are provided to the user or also e.g. in a similar fashion as no-warn already does for example..

image

only works before writing it down, but when hovering once written, no docs/infos are displayed.

image

hovering on it does not work after is written down, whilest it would be nice if it could work like open or let, still showing the info to the user:

image

i think all those should be documented?
https://learn.microsoft.com/en-us/dotnet/fsharp/tools/fsharp-interactive/#f-interactive-directive-reference

Checklist

  • I have looked through existing issues to make sure that this feature has not been requested before
  • I have provided a descriptive title for this issue
  • I am aware that even valid feature requests may be rejected if they do not align with the project's goals
  • I or my company would be willing to contribute this feature
@jkone27 jkone27 changed the title add docs for F# interactive directives F# interactive directives not showing docs once written down, also true for #nowarn, coloring is not conistent (purple?) Jan 27, 2024
@jkone27
Copy link
Contributor Author

jkone27 commented Jan 30, 2024

to add more context, i think #r, like #nowarn, should have purple color. also for some reasons directive tooltips docs/info do not display anymore once they are "filled in" wheras for normal keywords yes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant