DevToys

9cbc6e0c - Fixed a bug where navigation menu item didn't have the right width when closing the pane