public void refreshGUI() {
if (displayChanges) {
gui.setContents(instructions, visibleInstructionsLength);
gui.setCurrentInstruction(nextPC);
}
}
// Sets the gui's contents (if a gui exists)
private void setGUIContents() {
if (displayChanges) {
gui.setContents(instructions, visibleInstructionsLength);
gui.setCurrentInstruction(nextPC);
}
}