IDEs Support (IntelliJ Platform) | JetBrains

1445952621

Total activity 11
Last activity August 30, 2024 07:38
Member since October 28, 2019 08:53
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 4

Created August 30, 2024 07:38

I choose to build IDEA from source. fighting with colors and size..here is my result:the primary color is set to yellow , and the secondary is set to shallow blue, make it easier to distinguish be...
- 0 votes
Created April 05, 2024 07:15

This is more related to modifying the IDEA itself rather than plugins. I found a way to do it. In fact, the modification is quite simple, involving less than 100 lines of code. This is because the...
- 0 votes
Created April 01, 2024 14:36

workaround:```private var xxyyWin: Component? = nullif (focusedComponentInWindow is com.intellij.openapi.editor.impl.EditorComponentImpl) {xxyyWin = focusedComponentInWindow} else if (xxyyWin!=null...
- 0 votes
Created April 01, 2024 08:07

just turn of option “remember size”:https://youtrack.jetbrains.com/issue/IDEA-293980/Tool-windows-option-to-keep-individual-size-per-window Another question, how to use right-click dragging on the ...
- 0 votes