Changing a keyboard shortcut does in cinnamon settings menu does not work. I've got two shortcuts (from default configuration) Alt+F7 and Alt+F8 which I'd like to remove.
Removing them in the System settings -> Keyboard -> Shortcuts -> Windows (where they are) does not seem to work.
Any help/ideas? Perhaps changing them manually in the conf files, where should I look?
It looks that this was in fact a bug in Cinnamon. It looks like it's closed: https://github.com/linuxmint/Cinnamon/issues/4777
Closing the question. Thanks @henrik-lindgren