Searched refs:jump_arrows (Results 1 – 2 of 2) sorted by relevance
28 jump_arrows = true
29 jump_arrows, member34 .jump_arrows = true,262 if (annotate_browser__opts.jump_arrows) in annotate_browser__refresh()766 annotate_browser__opts.jump_arrows = !annotate_browser__opts.jump_arrows; in annotate_browser__run()1001 ANNOTATE_CFG(jump_arrows),