IDEs Support (IntelliJ Platform) | JetBrains

Dmitry Batrak

Total activity 599
Last activity June 06, 2023 09:14
Member since December 19, 2013 17:00
Following 0 users
Followed by 1 user
Votes 0
Subscriptions 246

Dmitry Batrak commented, November 07, 2022 09:58
Hi,`Graphics.drawString` expects Y coordinate of the text baseline to be passed, and you're passing the coordinate of the top inlay's border - that's why your text is displayed 'above' the target r...
- 0 votes
Dmitry Batrak commented, November 12, 2020 09:09
Unfortunately, at the moment there's no way to control folding behaviour for inline inlay elements. They are currently hidden if the anchor offset is 'inside' the collapsed fold region or equals to...
- 0 votes
Dmitry Batrak commented, March 10, 2020 12:21
Those attributes are not currently supported for LineExtensionInfo.
- 0 votes
Dmitry Batrak commented, November 06, 2019 09:53
This case has been probably just overlooked, as no one yet tried to override parameter info. This has been changed in master now (targeting 2020.1 release), so that only the first suitable handler ...
- 0 votes
Dmitry Batrak commented, August 26, 2019 12:50
This is a problem with good old Swing components in JDK. Using `UIUtil.getFontWithFallback` will only get your component to the same level of font fallback support as Java's logical fonts (Monospac...
- 2 votes
Dmitry Batrak commented, August 09, 2019 14:18
`editor.getCaretModel().getCurrentCaret()` will never return `null` (if there's no `runForEachCaret()` call, the primary one will be returned). Just pass `null` as `caret` to `myOriginalHandler.exe...
- 0 votes
Dmitry Batrak commented, August 02, 2019 08:18
I've managed to reproduce it locally. Raised https://youtrack.jetbrains.com/issue/IDEA-219734.
- 0 votes
Dmitry Batrak commented, July 22, 2019 08:26
> I think my plugin will apply to existing Editor(s), and will not create a new Editor. Is that correct? That's correct. > Is there example source for a plugin which applies to the existing (Java) ...
- 0 votes
Dmitry Batrak commented, July 19, 2019 08:28
Hi Robin, I'm afraid there are no good guides or example plugins at the moment, as the API to add such elements to editor is relatively new. Platform SDK guide (https://www.jetbrains.org/intellij/s...
- 0 votes
Dmitry Batrak commented, July 12, 2019 06:21
That's because there can be multiple editors for the same document. If you are interested in all editors, you can get them via EditorFactory.getInstance().getEditors(document) If you are interested...
- 1 vote