nav_button: Fix double border between nav buttons.

Co-authored-by: Kyle <kyle@zed.dev>
7314456685Piotr Osiewicz committed on 8/14/2023, 12:33:40 PMparentb72a42e
1 file changedLine totals unavailable