7Zip Theme Manager: 7Zip Icons austauschen

Es ist eine neue Version (die Version 2.0) des 7Zip Theme Managers, den ich bereits vor einem Jahr vorgestellt hatte, erschienen. Kurzform: was macht der kostenlose 7Zip Theme Manager? Er tauscht die relativ hässlichen Standard-Icons von 7Zip aus. Des Weiteren…