db93e776c5
At the moment, inserting a new line while being in a comment result in a "//<indentation>" instead of "<indentation>//". To fix this, we just paste the comment and indent after the newline initial indentation. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |