/**
* Sets the message in the GridWorld GUI.<br>
*
* @param msg the message text
*/
@Override
public void setMessage(String msg) {
super.setMessage(msg);
show(); // refreshes message box. w/o show, previous message would sometimes remain
}
