mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
memory
This commit is contained in:
@@ -59,7 +59,7 @@ public class HighlightInfo implements Segment {
|
||||
|
||||
public static final HighlightInfo[] EMPTY_ARRAY = new HighlightInfo[0];
|
||||
// optimisation: if tooltip contains this marker object, then it replaced with description field in getTooltip()
|
||||
private static final String DESCRIPTION_PLACEHOLDER = "{\u0000}";
|
||||
private static final String DESCRIPTION_PLACEHOLDER = "\u0000";
|
||||
JComponent fileLevelComponent;
|
||||
public final TextAttributes forcedTextAttributes;
|
||||
public final TextAttributesKey forcedTextAttributesKey;
|
||||
|
||||
Reference in New Issue
Block a user