/** 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()); }