From 919fba90616c9ed6d015cae8b93aa22f74a48a62 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Aug 2011 10:55:30 +0000 Subject: [PATCH] Fix anti-aliasing in GUI simulator. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3444 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../userinterface/simulator/GUISimulatorPathTable.java | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/prism/src/userinterface/simulator/GUISimulatorPathTable.java b/prism/src/userinterface/simulator/GUISimulatorPathTable.java index e0ec0cd5..74b494fa 100644 --- a/prism/src/userinterface/simulator/GUISimulatorPathTable.java +++ b/prism/src/userinterface/simulator/GUISimulatorPathTable.java @@ -166,6 +166,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable { Graphics2D g2 = (Graphics2D) g; g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.setColor(getBackground()); g2.fillRect(0, 0, getWidth(), getHeight()); @@ -346,6 +347,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable y = (getHeight() / 2) + (height / 2); // Write value g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.setColor(Color.black); g2.drawString(stringValue, x, y); } @@ -371,6 +373,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable g2.setColor(color); g2.draw(rec); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } } @@ -379,6 +382,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable // Just display value g2.setColor(color); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } } @@ -406,6 +410,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable g2.setColor(color); g2.draw(rec); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } } @@ -414,6 +419,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable // Just display value g2.setColor(color); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } } @@ -425,6 +431,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable // Write text g2.setColor(Color.black); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } } @@ -436,6 +443,7 @@ public class GUISimulatorPathTable extends GUIGroupedTable // Write text g2.setColor(Color.black); g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_OFF); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); g2.drawString(stringValue, x, y); } }