We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Toggling line comments (e.g. by pressing ctrl+/) adds a C-style comment
ctrl+/
cmd+/
Adds C-style line comment // ... to the beginning of the line
// ...
Ideally it should add (* ... *) style comment to the line
(* ... *)
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Installed product versions
Description
Toggling line comments (e.g. by pressing
ctrl+/
) adds a C-style commentSteps to recreate
ctrl+/
(orcmd+/
on macOS)Current behavior
Adds C-style line comment
// ...
to the beginning of the lineExpected behavior
Ideally it should add
(* ... *)
style comment to the lineThe text was updated successfully, but these errors were encountered: