mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
editor: corrected condition for evaluating extensions width
This commit is contained in:
+1
-1
@@ -274,7 +274,7 @@ class EditorSizeManager extends InlayModel.SimpleAdapter implements PrioritizedD
|
||||
if (myMaxLineWithExtensionWidth > 0) {
|
||||
AtomicBoolean hasExtensions = new AtomicBoolean();
|
||||
myEditor.processLineExtensions(myWidestLineWithExtension, (info) -> hasExtensions.set(true));
|
||||
if (hasExtensions.get()) {
|
||||
if (!hasExtensions.get()) {
|
||||
myMaxLineWithExtensionWidth = 0;
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user