Hallvard Ystad

活动总数 10
最后的活动 2023年01月25日 08:21
成员加入日期 2018年08月01日 11:27
关注 0 名用户
关注者数 0 名用户
投票数 1
订阅数 2

创建于 2019年05月15日 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 票
已编辑于 2019年05月14日 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 票
创建于 2019年04月01日 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 票
创建于 2019年04月01日 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 票
创建于 2019年03月27日 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 票