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
Trying to press ctrl+space after "tim" does not bring up any alternatives. Works elsewhere in the code, e.g. after event keyword.
state Init { on entry do tim(ctrl+space here) end
transition -> Init event timer?timer_timeout action do print "Hello World!\n" end }
The text was updated successfully, but these errors were encountered:
ffleurey
No branches or pull requests
Trying to press ctrl+space after "tim" does not bring up any alternatives. Works elsewhere in the code, e.g. after event keyword.
state Init {
on entry do
tim(ctrl+space here)
end
The text was updated successfully, but these errors were encountered: