From: Holger Schemel Date: Wed, 24 May 2023 14:25:24 +0000 (+0200) Subject: added highlighting similar elements in editor when pressing Alt+Shift keys X-Git-Tag: 4.3.7.0~54 X-Git-Url: https://git.artsoft.org/?a=commitdiff_plain;h=ceb49efa3096d0a72802d349a1029c3fbf8660cb;hp=ceb49efa3096d0a72802d349a1029c3fbf8660cb;p=rocksndiamonds.git added highlighting similar elements in editor when pressing Alt+Shift keys ---