diff options
| author | Julian Eisel <eiseljulian@gmail.com> | 2018-10-30 01:28:08 +0300 |
|---|---|---|
| committer | Julian Eisel <eiseljulian@gmail.com> | 2018-10-30 01:29:26 +0300 |
| commit | 70582cf8d26e4ba5d6ccb0d1044d16e239fa655e (patch) | |
| tree | 6a0c2ab6548286a6cca99ab0f64e22c859852bfe /source/tools | |
| parent | a0d40c6a8c42c774d9286b5de0d80167c1d55fde (diff) | |
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.
Diffstat (limited to 'source/tools')
| m--------- | source/tools | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/source/tools b/source/tools -Subproject 11656ebaf7f912cdb1b5eb39c5d0a3b5d492c1a +Subproject 5162393c104d6d5f0314183a084875fff68f28b |