UI: Support using Ctrl+Scrollwheel to cycle properties editor tabs

Small side effect is that area operators (toggle fullscreen/maximized, duplicate
area) are now displayed in RMB-menu. Makes sense anyway.
This commit is contained in:
Julian Eisel
2018-10-29 23:28:08 +01:00
parent a0d40c6a8c
commit 70582cf8d2
6 changed files with 19 additions and 9 deletions