public class Icons
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static IconFontProvider |
EXPLORE |
static IconFontProvider |
EXPLORE_DISABLE |
static javax.swing.Icon |
SECOND_BRANCH |
static IconProvider |
SECOND_BRANCH_HIDE |
static java.awt.Image |
SECOND_BRANCH_IMAGE |
static IconFontProvider |
WARNING |
public static final IconFontProvider WARNING
public static final java.awt.Image SECOND_BRANCH_IMAGE
public static final IconFontProvider EXPLORE
public static final javax.swing.Icon SECOND_BRANCH
public static final IconProvider SECOND_BRANCH_HIDE
public static final IconFontProvider EXPLORE_DISABLE
Copyright © 2003-2019 The KeY-Project.