some customization implemented by me on Cinnamon