-
Matthias Möller authored
- fix: widget buttons will be checked/unchecked if corresponding widget is changed via hotkey refs #1380 git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@16116 383ad7c9-94d9-4d36-a494-682f7c89f535
1aa5eaba