de.uka.ilkd.key.gui.lemmatagenerator

Class InfoDialog

java.lang.Object

de.uka.ilkd.key.gui.lemmatagenerator.InfoDialog

public class InfoDialog
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private Box	box
private JTextPane	infoText
private JCheckBox	showAgainBox

Constructor Summary

Constructors

Constructor and Description
InfoDialog()

Method Summary

Modifier and Type	Method and Description
private Box	getBox()
private JTextPane	getInfoText()
private JCheckBox	getShowAgainBox()
boolean	showDialog(String text, Component parent)
boolean	showThisDialogNextTime()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

infoText

private JTextPane infoText

showAgainBox

private JCheckBox showAgainBox

box

private Box box

Constructor Detail

InfoDialog

public InfoDialog()

Method Detail

showDialog

public boolean showDialog(String text,
                          Component parent)

showThisDialogNextTime

public boolean showThisDialogNextTime()

getBox

private Box getBox()

getInfoText

private JTextPane getInfoText()

getShowAgainBox

private JCheckBox getShowAgainBox()