Traceback highlighting, ace settings