From 62fd514732049f8550fc4b1efa32363efdb0cc70 Mon Sep 17 00:00:00 2001 From: Denis Fokin Date: Mon, 11 Jul 2016 13:43:57 +0300 Subject: [PATCH] An unused property after IDEA-140566 is removed --- bin/idea.properties | 6 ------ 1 file changed, 6 deletions(-) diff --git a/bin/idea.properties b/bin/idea.properties index 9e8524cd8523..4168086a6ad0 100644 --- a/bin/idea.properties +++ b/bin/idea.properties @@ -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.