I noticed that there is no keyboard shortcuts in settings->editor list. It took me a long time to realize it, because I don't usually edit keyboard shortcuts, but while working on another computer I changed compile current file to Ctrl+F9. The default is 'build' which if I'm being honest should be exactly the opposite way (Ctrl+F9 for compile current file and Shift+Ctrl+F9 for build). However it's a bit of a mystery why keyboard shortcuts are missing in this, because they are both Windows 17.12 release versions. Is keyboard shortcuts a plugin that for some reason just disappeared? Windows 10 update has actually removed some files, for example one update removed a shortcut from desktop for no reason.