Don't push a duplicate nav entry when changing selections via the mouse

Co-Authored-By: Keith Simmons <keith@zed.dev>
255a8c5d14Antonio Scandurra committed on 3/23/2022, 5:45:45 PMparent10f1760
1 file changedLine totals unavailable