// Sets the GUI's current instruction index
private void setGUIPC() {
if (displayChanges) gui.setCurrentInstruction(nextPC);
}
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);
}
}
