intellij-community
intellij-community copied to clipboard
Update top border
This is another part of implementation for IDEA-241054, I'll manage it from now.
(see also: https://github.com/JetBrains/JetBrainsRuntime/pull/18)
@tatakir, thanks for contribution!
Current status: we're still unsure if we're okay with undocumented API usage in JBR, thus the PR is still under investigation.
I'll try to make the decision in about a month from now.
Sorry for the pause!