Sergei Tachenov 30808bab6e IJPL-157156 Make the editor tabs at least as high as tool window headers ...

Not clear what caused this regression, but there's an easy way to both
fix it and prevent it. We just need to make sure that the editor tabs
are always at least as high as tool window headers.

The only trick is that the height is calculated in JBTabsImpl, which
is used not just for the editor tabs. So we add an internal protected
method here and override it in the editor tabs only.

GitOrigin-RevId: 106860cf0eb9ff8f0acd3c2121a061b16e0fb301

2024-07-23 17:57:24 +00:00

..

resources

IJPL-158507 Language setting is not discoverable via Search Everywhere

2024-07-22 21:40:44 +00:00

src/com/intellij

IJPL-157156 Make the editor tabs at least as high as tool window headers

2024-07-23 17:57:24 +00:00

api-dump-unreviewed.txt

IJPL-158653 Log: WARN - JetBrains UI DSL - Unsupported labeled component ComboBoxAction$ComboBoxButton

2024-07-23 08:45:27 +00:00

exposed-private-api.txt

IJPL-148832 IJPL-148512 New Proxy API, extension point for proxy settings override

2024-05-25 00:27:20 +00:00

exposed-third-party-api.txt

GTW-4830 Better JCEF support

2024-06-20 17:03:29 +00:00

intellij.platform.ide.iml

[project] extracting credential store API classes into a separate module

2024-06-25 07:58:49 +00:00