Hallvard Ystad

Total activity 10
Last activity January 25, 2023 08:21
Member since August 01, 2018 11:27
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 2

Created May 15, 2019 10:10

Oh, yes, that certainly made a huge difference! For fun I did a println() to see how often the method was run: if (document.lineCount == cachedLinecount) { println("Not redoing ...") return} ...
- 0 votes
Edited May 14, 2019 20:19

Back to the stripes again. I now have three file types using the stripes annotation. Two of them are just based on the plaintext parser definition, the third has its own language definition with sy...
- 0 votes
Created April 01, 2019 14:21

Oh, I really would prefer to add my file suffix to the already existing list of «soft-wrap-suffixes» in the global settings, since I then wouldn't have to double that setting within my plugin's own...
- 0 votes
Created April 01, 2019 07:54

OK, we'll go the Annotator way, then. I wrote a little parserDefinition based on the plaintext parser definition, so my .striped files are recognized as a special file type, and the annotator shoul...
- 0 votes
Created March 27, 2019 11:19

Thanks.But this will cause constant parsing of the file, won't it? The formatting I want is so basic that I feel an Annotator is the wrong way to go.Is there a way to implement a custom JTextArea u...
- 0 votes