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
September 30, 2014 17:43
It's something I should have mentioned, but yes. I haven't tried invalidating caches or removing directories yet though, but I was hoping that wouldn't be necessary...
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
September 30, 2014 17:56
Actually, I tried again, and also my version of the plugin is not working, even though it was working when developing it! I'll start uninstalling plugins (even though I don't think I installed any...)
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
September 30, 2014 18:36
I think I also fixed the JDK issue, I had no JDK's installed yet, so I only added 1.6. After that, IntelliJ asked me which SDK to use for the plugin SDK, so I choose 1.6 (only option available).I c...
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
October 01, 2014 16:48
Hi Victoria, thanks for the answer, but why doesn't this apply to new plugins then? Plus, isn't it the responsibility of the plugin developer to do this? Now it takes 2 (working?) days to update th...
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
October 01, 2014 16:56
Thanks, but in other words, it's not high on the backlog (16 months ago??)
Community
IntelliJ IDEA Open API and Plugin Development
Live templates plugin
0 votes
Created
November 22, 2014 09:06
Ah, never mind, it's just a Swing thing: you can detect it using UIManager.getLookAndFeel().
Community
IntelliJ IDEA Open API and Plugin Development
Is there a way to detect the current theme?
0 votes
Created
November 22, 2014 12:16
Ah, nice, didn't know that one. Thanks!!
Community
IntelliJ IDEA Open API and Plugin Development
Is there a way to detect the current theme?
0 votes
Created
November 09, 2014 10:36
Hi Yann, thanks for the answer. I'm not sure what a ProjectComponent is, and how that works, and actually, the same for the EditorBasedWidget...Actually, I'm not even sure what an EditorBasedWidget...
Community
IntelliJ IDEA Open API and Plugin Development
Where to register statusbar?
0 votes
Created
November 14, 2014 23:24
Hi Yann,Thanks for the reply. I'm slowly getting there, but still not completely, because of having the status bar shown/hidden on fileOpen/fileClose, I want to have the status bar changed whenever...
Community
IntelliJ IDEA Open API and Plugin Development
Where to register statusbar?
0 votes
Created
December 09, 2014 06:23
I'm the author of the plugin, and I wasn't aware of such a bug. I'll take a look, thanks for reporting.
Community
IntelliJ IDEA Open API and Plugin Development
where I can find the `Sample Text File Editor` source code?
0 votes
«
First
‹
Previous
Next
›
Last
»