What does these settings do? #717
-
Beta Was this translation helpful? Give feedback.
Answered by
deadlyjack
Jun 23, 2023
Replies: 1 comment 1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
These are ace editor settings. For better understanding Google them.