Searched refs:jump_arrows (Results 1 – 2 of 2) sorted by relevance
28 jump_arrows = true
36 jump_arrows, member42 .jump_arrows = true,298 if (annotate_browser__opts.jump_arrows) in annotate_browser__refresh()806 annotate_browser__opts.jump_arrows = !annotate_browser__opts.jump_arrows; in annotate_browser__run()1125 ANNOTATE_CFG(jump_arrows),