method com.dmdirc.addons.ui_dummy.DummyMainWindow__ static_init










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










method ImageIcon getIcon()
postreturn_value == null










method void quit()










method void setMaximised(bool)
postthis.maximised == max
postinit'ed(this.maximised)










method bool getMaximised()
preinit'ed(this.maximised)
postreturn_value == this.maximised
postinit'ed(return_value)










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










method void setVisible(bool)
postthis.visible == visible
postinit'ed(this.visible)










method bool isVisible()
preinit'ed(this.visible)
postreturn_value == this.visible
postinit'ed(return_value)