qt gui: Correct mark-current-symbol (both address and name needed)