omar 74da533c93 Nav: Added NavJustNavigatedId internal info to record when we land on a given item after a navigation request, useful for various algorithms (currently looking at range selection stuff) (#787)

2017-10-03 11:22:38 -07:00

521 KiB

Raw Blame History

View Raw