public class IconFontProvider extends IconProvider
IconFontProvider(IconFont iconCode)
IconFontProvider(IconFont iconCode, java.awt.Color color)
get, get
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public IconFontProvider(IconFont iconCode)
public IconFontProvider(IconFont iconCode, java.awt.Color color)
Copyright © 2003-2019 The KeY-Project.