DevToys

Fixed a bug where tools orders in the grid view would change following a search.

#108

Merged