For stupid personal reasons, I really wish I could swap the functions of F5 and Shift-Ctrl-F7
Before I use a key remapper utility, just want to check if there's an existing facility for this.
I was unaware of the Shift-Ctrl-F7 key combination in WinBatch Studio, only Ctl+F7.
To answer your question directly, I do not know of any way to change the built-in hotkeys. Of course, you can change keys added using WBS menu files by editing the file. I do not think you can override built-in keys using the user menu file but you could try it.
(I think maybe the Shift-Ctrl-F7 runs 64 bit?)
OK, thanks. I think that's what I needed to know.
You are correct. I think the documentation needs an update...