public interface IconFont
java.awt.Font
getFont()
char
getUnicode()
java.awt.Font getFont() throws java.io.IOException, java.awt.FontFormatException
java.io.IOException
java.awt.FontFormatException
char getUnicode()
Copyright © 2003-2019 The KeY-Project.