Open gunterkoenigsmann opened 9 years ago
The code highlighter in the editor is certainly fixable in a piece-wise fashion, but it's an ad-hoc parser that doesn't quite build up a complete model of the text it's working on. I'm removing it from the 20.08 milestone since I don't have time to work on it properly.
The following line is hard to input, currently, since the parenthesis matching functions believe we need to close the quoted parenthesis, as well:
I assume this to be of a very low practical importance, though and add this report only for the sake of completeness.