mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-96534 Darcula: now, there is no border at all on the undocked tool-window
(cherry picked from commit 9364f0992de2fef0a51e63d2fe18341725e58cf4)
This commit is contained in:
@@ -58,7 +58,7 @@ import java.util.Map;
|
||||
*/
|
||||
public final class InternalDecorator extends JPanel implements Queryable, TypeSafeDataProvider {
|
||||
|
||||
private static final int DIVIDER_WIDTH = 5;
|
||||
private static final int DIVIDER_WIDTH = UIUtil.isUnderDarcula() ? 2 : 5;
|
||||
|
||||
private Project myProject;
|
||||
private WindowInfoImpl myInfo;
|
||||
|
||||
Reference in New Issue
Block a user