optimize a bit the code related to obtaining current icon theme
[simple-launcher] / debian / compat
1 4