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

An unused property after IDEA-140566 is removed

Browse Source
This commit is contained in:
Denis Fokin
2016-07-11 13:47:25 +03:00
parent 66a8610dd2
commit 62fd514732
1 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
bin/idea.properties
-6
View File
@@ -63,12 +63,6 @@ idea.dynamic.classpath=false
#---------------------------------------------------------------------
idea.popup.weight=heavy
#---------------------------------------------------------------------
# Use default anti-aliasing in system, i.e. override value of "Settings|Editor|Appearance|Use anti-aliased font"
# option. May be useful when using Windows Remote Desktop Connection for instance.
#---------------------------------------------------------------------
idea.use.default.antialiasing.in.editor=false
#---------------------------------------------------------------------
# Disabling this property may lead to visual glitches like blinking and fail to repaint
# on certain display adapter cards.