Comment 3 for bug 342067

No, in options\configure you can select the tab quick build and there select an radio item named user. Then you could define your own commands to be executed by F1, but the default configuration (after you selected user there) is that what you wrote in the bug report. (at least that's what's written here and I never changed it)
But just pressing F2-F11-F2-F2 is easier.