Ticket #106 (closed enhancement: fixed)
Syntactic relaxation: Allow /# and #/ to be indented
Reported by: | Chuck | Owned by: | Chuck |
---|---|---|---|
Priority: | medium | Milestone: | |
Component: | Cobra Compiler | Version: | 0.8.0 |
Keywords: | syntax, comments | Cc: |
Description
In a text editor that maintains indentation when you press ENTER, it is annoying to have to BACKSPACE or HOME to type /#
Also, there is no known advantage to /# and #/ being required at the beginning of the line.
Do not allow tabs and spaces to be mixed prior to the /# or #/.
And there is no requirement that the /# and #/ be aligned with each other.
Attachments
Change History
Note: See
TracTickets for help on using
tickets.