# HG changeset patch
# User wenzelm
# Date 1584700533 -3600
# Node ID f36886cc32fa5a04e1ed1a427903bd982d10adf7
# Parent  c2884545c846025de2da96bb305d3aa55d9b7fc7
prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);

diff -r c2884545c846 -r f36886cc32fa src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Wed Mar 18 20:04:50 2020 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Mar 20 11:35:33 2020 +0100
@@ -321,7 +321,7 @@
 vfs.favorite.4=isabelle-export:
 vfs.favorite.5.type=1
 vfs.favorite.5=isabelle-session:
-view.antiAlias=standard
+view.antiAlias=subpixel HRGB
 view.blockCaret=true
 view.caretBlink=false
 view.docking.framework=PIDE