From 70582cf8d26e4ba5d6ccb0d1044d16e239fa655e Mon Sep 17 00:00:00 2001
From: Julian Eisel <eiseljulian@gmail.com>
Date: Mon, 29 Oct 2018 23:28:08 +0100
Subject: 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.
---
 source/tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source/tools')

diff --git a/source/tools b/source/tools
index 11656ebaf7f..5162393c104 160000
--- a/source/tools
+++ b/source/tools
@@ -1 +1 @@
-Subproject commit 11656ebaf7f912cdb1b5eb39c5d0a3b5d492c1aa
+Subproject commit 5162393c104d6d5f0314183a084875fff68f28bb
-- 
cgit v1.2.3