mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-344208 Add comment for AVOID_EXTENDING_BORDER_GRAPHICS
GitOrigin-RevId: 63aeea586b1c0e4ef665a1fd7a9e957c3e6aa949
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a2f9e81626
commit
80dae7add1
@@ -54,6 +54,12 @@ public class DarculaButtonUI extends BasicButtonUI {
|
||||
|
||||
public static final Key<Boolean> DEFAULT_STYLE_KEY = Key.create("JButton.styleDefault");
|
||||
|
||||
/**
|
||||
* For overriding background of an element Graphics object might be wrapped into a customizing Graphics.
|
||||
* (see {@link com.intellij.openapi.wm.impl.IdeBackgroundUtil})
|
||||
* For some buttons we need to override background painting, but keep the original border.
|
||||
* In such cases, this key is used.
|
||||
*/
|
||||
@ApiStatus.Internal
|
||||
public static final Key<Boolean> AVOID_EXTENDING_BORDER_GRAPHICS = Key.create("JButton.avoidExtendingBorderGraphics");
|
||||
|
||||
|
||||
Reference in New Issue
Block a user