| | |
| | final var context = getSharedContext(); |
| | + final var textRenderer = context.getTextRenderer(); |
| | context.setReplacedElementFactory( factory ); |
| | + textRenderer.setSmoothingThreshold( getFontsAntialias() ); |
| | |
| | fontsAntialiasProperty().addListener( ( l, o, n ) -> { |
| | final var threshold = max( n.floatValue(), -1 ); |
| | - context.getTextRenderer().setSmoothingThreshold( threshold ); |
| | + textRenderer.setSmoothingThreshold( threshold ); |
| | } ); |
| | |
 |
| | private DoubleProperty fontsAntialiasProperty() { |
| | return getUserPreferences().fontsAntialiasProperty(); |
| | + } |
| | + |
| | + private float getFontsAntialias() { |
| | + return getUserPreferences().getFontsAntialias(); |
| | } |
| | |