...or it could just be that your system has lost these key shortcuts or you accidentally assigned F7 to something else. They are all user configurable. Go to Options/Keyboard Shortcuts, then click on 'User Flags' and you should see something like this:
![user posted image]()
If it doesn't show F7, then drag the F7 key over from the right column of shortcut keys to the 'Clear all user flags' option.

If it doesn't show F7, then drag the F7 key over from the right column of shortcut keys to the 'Clear all user flags' option.