Cinnamon window management extension