Cannot disable those hot keys

[developeris]

SQL Window: Previous SQL
SQL Window: Next SQL

I clear them, press Apply, but they just came back.
Version 12 of developer.

 

[Marco Kalter]

The keys will indeed revert to default when cleared. If you want to "disable" these keys, assign an unlikely combination (e.g. Ctrl-Alt-Up).

 

[developeris]

OK, thanks.