d245d360746b99abc4bc1c64907d6bd160be120e
Basically reverts rB65c4149f203610 and fixes the issue in a better way. Keymaps using the removed operator will be affected. Switching header from top to bottom now has the shortcut F5, just like switching other regions.
Description
No description provided
Languages
C++
78%
Python
14.9%
C
2.9%
GLSL
1.9%
CMake
1.2%
Other
0.9%