This is a really simple but great feature to have. i always find myself deleting shaders to make room, but when you have 50+ of one shader you dislike, getting rid of them can be a real pain, holding the "dismantle" button over and over again just gets annoying. i feel like this would just add to the quality of life within the game. super simple but super affective.