gui: show source line numbers