Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
Erik Pragt
Total activity
1019
Last activity
February 19, 2026 08:47
Member since
October 18, 2005 11:05
Following
0 users
Followed by
0 users
Votes
0
Subscriptions
316
Activity overview
Posts (181)
Comments (522)
Sort by recent activity
Recent activity
Votes
Created
October 01, 2014 17:04
Chicken and egg problem? ;-)Seriously though, uploading it by hand is something which would be nice if it could be automated, but I can work around that, or automate it myself.Having to wait two da...
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
October 03, 2008 13:16
Nice, thanks! Another small question: is it enough to define a ProductivityFeaturesProvider, or do I also need to register them somewhere?
Community
IntelliJ IDEA Open API and Plugin Development
Productivity Hints?
0 votes
Created
October 05, 2008 20:58
Hi Yann,I think I did as you said: I've created a file (hints.hello.html), put it in ]]>/src/, referenced it using "FeatureDescriptor featureDescriptor = new FeatureDescriptor("id", GROUP_DESCRIPTO...
Community
IntelliJ IDEA Open API and Plugin Development
Productivity Hints?
0 votes
Created
October 05, 2008 21:46
Great, that works! Thanks!! But how did you know that? And do you also know why it's not possible (unless you have a suggestion...) to retreive the Productivity Hints from an online source?
Community
IntelliJ IDEA Open API and Plugin Development
Productivity Hints?
0 votes
Created
November 05, 2014 23:11
Thanks to the Mks plugin, I found it: https://code.google.com/p/ideamksplugin/source/browse/trunk/src/main/java/org/intellij/vcs/mks/MksStatusWidget.java?r=372You need to use a TextRepresentation t...
Community
IntelliJ IDEA Open API and Plugin Development
How to add text to the StatusBar?
0 votes
Created
December 07, 2014 22:22
Sure, I'll try.It's just that the plugin isn't very active, and there are already lots of open issues, and some open pull requests.Besides that, I'm building an alternative for the Markdown plugin,...
Community
IntelliJ IDEA Open API and Plugin Development
How to reload editor preview window
0 votes
Created
November 22, 2014 20:38
PS: thanks about the remark about TODO's, but this is the first step. Implementing the full Lexer would be very time consuming, especially since I have never done anything like that before, so I th...
Community
IntelliJ IDEA Open API and Plugin Development
How to add items to the TODO panel
0 votes
Created
December 01, 2014 13:52
Hi Alexander, thanks for the reply.For sure there plugins which do it, but how do I find these plugins? Eg, I've never installed the Dart plugin before, I didn't know it had this menu.Question: why...
Community
IntelliJ IDEA Open API and Plugin Development
How to add items to a tab context menu?
0 votes
Created
December 01, 2014 14:01
Ah, now I see. Thanks, this make things much more clear. Is there any documentation on this I missed? I checked these locations, but couldn't find it: - https://confluence.jetbrains.com/display/ID...
Community
IntelliJ IDEA Open API and Plugin Development
How to add items to a tab context menu?
0 votes
Created
December 01, 2014 14:11
Ah, thanks. I actually read that page, but it wasn't clear to me how I could add context menu items based on that information. After re-reading it, it's still not clear to me, but your example is, ...
Community
IntelliJ IDEA Open API and Plugin Development
How to add items to a tab context menu?
0 votes
«
First
‹
Previous
Next
›
Last
»