Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
Alexander Semenov
Total activity
7
Last activity
January 16, 2016 14:01
Member since
July 05, 2013 20:43
Following
0 users
Followed by
0 users
Votes
0
Subscriptions
1
Activity overview
Posts (1)
Comments (5)
Sort by recent activity
Recent activity
Votes
Created
July 05, 2013 22:24
Great suggestion.I did implement it with folding but unfortunately now I can't change letter colors within folded text. Also, folded text length must be more than one character: if (startOffset ...
Community
IntelliJ IDEA Open API and Plugin Development
Question simplified: is it possible to temporary change text in editor without changing underlying document?
0 votes
Created
July 05, 2013 22:56
Feature requests created:http://youtrack.jetbrains.com/issue/IDEA-110176http://youtrack.jetbrains.com/issue/IDEA-110173
Community
IntelliJ IDEA Open API and Plugin Development
Question simplified: is it possible to temporary change text in editor without changing underlying document?
0 votes
Created
July 06, 2013 10:58
Mega-thanks to you both, guys. It seems to be working.
Community
IntelliJ IDEA Open API and Plugin Development
Question simplified: is it possible to temporary change text in editor without changing underlying document?
0 votes
Created
July 06, 2013 09:44
Thanks, it's an option but this is radically different in terms of editor extensibility and implementation. I just needed to "mask" some text and change it's style/colors - not to draw something on...
Community
IntelliJ IDEA Open API and Plugin Development
Question simplified: is it possible to temporary change text in editor without changing underlying document?
0 votes
Created
July 07, 2013 02:06
https://github.com/Bohtvaroh/blaze-nav
Community
IntelliJ IDEA Open API and Plugin Development
Question simplified: is it possible to temporary change text in editor without changing underlying document?
0 votes