/** Highlight the line in Source Code which is executed */
public void updateSelectedLine() {
int index = decoder.getLineNrToAddress(getPC());
gui.getCodeList().setSelectedIndex(index);
gui.getCodeList().ensureIndexIsVisible(gui.getCodeList().getSelectedIndex());
}
