[Pharo-dev] Fixing inconsistent buttons look in PharoUI