mirror of
https://github.com/textmate/textmate.git
synced 2026-04-28 03:00:34 -04:00
This adds buttons for inserting/removing bookmarks and navigate them. Since the function keys were replaced with the touch bar, there currently is no other way to set and navigate bookmarks other than these buttons so make their visibility priority high.