Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Expand "Go to File" button again, fix 'Add File' margin (#21543)
With #21428 we gained some space so we are again able to show the "Go to File" button as text instead of icon-only (the old icon was not particularily fitting anyways). Before: <img width="328" alt="image" src="https://user-images.githubusercontent.com/115237/197334423-07731d9d-bf26-4aeb-95fa-490d9d0bf2a2.png"> After: <img width="339" alt="Screen Shot 2022-10-22 at 12 28 01" src="https://user-images.githubusercontent.com/115237/197334383-467c4107-09c9-4881-b75f-7f403eab7f3a.png"> <img width="413" alt="Screen Shot 2022-10-22 at 12 28 16" src="https://user-images.githubusercontent.com/115237/197334384-f7d1fdda-a011-4138-ad1e-b52fc987501f.png">
- Loading branch information