gui: fix jump manager
core: add 'show inconsistent code' parameter