public static class Interaction.InteractionGraphicStyle
extends java.lang.Object
Constructor and Description |
---|
InteractionGraphicStyle() |
Modifier and Type | Method and Description |
---|---|
java.awt.Color |
getBackgroundColor() |
java.awt.Color |
getForegroundColor() |
javax.swing.Icon |
getIcon() |
void |
setBackgroundColor(java.awt.Color backgroundColor) |
void |
setForegroundColor(java.awt.Color foregroundColor) |
void |
setIcon(javax.swing.Icon icon) |
public javax.swing.Icon getIcon()
public void setIcon(javax.swing.Icon icon)
public java.awt.Color getBackgroundColor()
public void setBackgroundColor(java.awt.Color backgroundColor)
public java.awt.Color getForegroundColor()
public void setForegroundColor(java.awt.Color foregroundColor)
Copyright © 2003-2019 The KeY-Project.