I recently got a new laptop, and the shortcut key Ctrl+Alt+F3 to bring up the "New Name" box no longer works. I went back to my old laptop to make sure I'm not crazy, and the shortcut works there, still. The other F3 shortcuts work okay (Ctrl+F3 for the "Name Manager" and Ctrl+Shift+F3 for "Create Name").

I've searched the web for discussions about this shortcut, and I can only find a handul of posts that discuss Ctrl+Alt+F3 as a shortcut. Any ideas?

Thanks!