pschanely / crosshair-vscode Goto Github PK

Are you a Hacktoberfest contributor? Or want to be?

A variety of no-code and low-code contributions count; like testing! Perhaps while you're working on some Python (maybe for another Hacktoberfest project!), you'd try out the CrossHair VSCode extension and file bug report(s) and/or open discussions about your experience with it.

Be sure to include details about your environment (at least OS & Python version) so we advertise the tested platforms in our docs.

Reach out to by email or on gitter and I'll ensure you get credit.

Hey,
thanks for this awesome addon for VS Code to use CrossHair! I was wondering whether a deeper VS Code integration would be possible, is intented or is already planned?

For example

• Output
  • It would be nice if issues found by crosshair commands are listed in the "Problems" tab or show as a CodeLens directly above the function definition.
  • In combination with the live updates through crosshair watch this could really be helpful and interactive tool whilst coding, that continuously suggests counterexamples to the currently implemented code & contracts.
• Reruns
  • Afaik crosshair watch currently relies on changed last edited times. Maybe VS Code could trigger reruns instead after a short delay after the last key was pressed (like it is the case with many other actions, e.g. pylance).
• Command Naming
  • The crosshair watch command in the command palette is currently not searchable with the keyword watch.
  • In a similar vein, maybe it would be nice if all commands are prefixed with Crosshair: such that they are searchable with the keyword Crosshair.
• Settings
  • It would be nice if some crosshair settings could be set via the VS Code settings dialog.
• Status
  • The output of crosshair watch (e.g. Analyzed <XYZ> paths) could be shown in the status bar at the bottom.

Many of the features above are inspired by other addons (mostly linters), but unfortunately I am not much of a TypeScript programmer :/.

Cheers!