Erik Brendel

活动总数 18
最后的活动 2022年06月09日 13:24
成员加入日期 2018年07月24日 17:55
关注 0 名用户
关注者数 0 名用户
投票数 3
订阅数 5

创建于 2022年06月09日 13:24

Hi Mokshmodi96!I actually created some scripts for collecting the splash screens in a single HTML file. I have not run it in a while, not sure if it still works, but you can check it out here if yo...
- 2 票
创建于 2019年11月08日 00:11

Thank you, but this only seems to work for IntelliJ (ultimate). In WebStorm for example, I cannot find a logo.png in the resource.jar. Where can I find the splash images of these other IDEs?
- 0 票
创建于 2019年11月07日 11:08

Where exactly can these images be found in the build files?
- 0 票
创建于 2019年02月25日 17:47

Nothing probably, only that I didn't know that this was a possibility. Could you give me a hint on how to add the file to the project and then retrieve the PsiFile of it?
- 0 票
创建于 2018年07月25日 22:05

Well, I found a solution myself: I created a decorator class around a PsiNamedElement, and adjusted its #getName - method to return a custom string instead. For some reason, the containing file pat...
- 0 票
创建于 2018年07月25日 19:36

That is sadly not helping much. I tried to directly implement LineMarkerProvider for the calculation-expensive line markers (and slowed them further down by Thread.sleep(60000) to better investigat...
- 0 票