MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

optimize line spacing update in editor

Browse Source 
GitOrigin-RevId: d00c92ca23d2cbbb5a7c3d56299f383df5ecb924
This commit is contained in:
Dmitry Batrak
2020-06-17 15:39:30 +03:00
committed by intellij-monorepo-bot
parent b83a06516d
commit bf628cda48
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+6 -2
View File
@@ -4536,8 +4536,12 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
@Override
public void setLineSpacing(float lineSpacing) {
myLineSpacing = EditorFontsConstants.checkAndFixEditorLineSpacing(lineSpacing);
reinitSettings();
float oldLineSpacing = getLineSpacing();
float newLineSpacing = EditorFontsConstants.checkAndFixEditorLineSpacing(lineSpacing);
myLineSpacing = newLineSpacing;
if (oldLineSpacing != newLineSpacing) {
reinitSettings();
}
}
}