public static interface KeYGuiExtension.StatusLine
java.util.List<javax.swing.JComponent>
getStatusLineComponents()
java.util.List<javax.swing.JComponent> getStatusLineComponents()
Copyright © 2003-2019 The KeY-Project.