edu.mit.csail.sdg.alloy4
Class OurAntiAlias

java.lang.Object
  edu.mit.csail.sdg.alloy4.OurAntiAlias

public final class OurAntiAlias
extends java.lang.Object

Graphical convenience methods for managing and constructing antialias-capable components.

Thread Safety: Can be called only by the AWT event thread.

Method Summary

static void	enableAntiAlias(boolean enableAntiAlias) Changes whether anti-aliasing should be done or not (when changed, we will automatically repaint all affected components).
static javax.swing.JLabel	label(java.lang.String label, java.lang.Object... attributes) Constructs an antialias-capable JLabel.
static javax.swing.JTextPane	pane(java.lang.Object... attributes) Constructs an antialias-capable JTextPane with a DefaultHighlighter associated with it.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

enableAntiAlias

public static void enableAntiAlias(boolean enableAntiAlias)

Changes whether anti-aliasing should be done or not (when changed, we will automatically repaint all affected components).

label

public static javax.swing.JLabel label(java.lang.String label,
                                       java.lang.Object... attributes)

Constructs an antialias-capable JLabel.

Parameters:

attributes - - see OurUtil.make(component, attributes...)

pane

public static javax.swing.JTextPane pane(java.lang.Object... attributes)

Constructs an antialias-capable JTextPane with a DefaultHighlighter associated with it.

Parameters:

attributes - - see OurUtil.make(component, attributes...)