method

com.dmdirc.addons.ui_dummy.DummyMainWindow__ static_init

method	void com.dmdirc.addons.ui_dummy.DummyMainWindow()
post	this.visible == 1

method	ImageIcon getIcon()
post	return_value == null

method

void quit()

method	void setMaximised(bool)
post	this.maximised == max
post	init'ed(this.maximised)

method	bool getMaximised()
pre	init'ed(this.maximised)
post	return_value == this.maximised
post	init'ed(return_value)

method	String getTitlePrefix()
post	return_value == &"DMDirc: Dummy UI: "

method	void setVisible(bool)
post	this.visible == visible
post	init'ed(this.visible)

method	bool isVisible()
pre	init'ed(this.visible)
post	return_value == this.visible
post	init'ed(return_value)