https://gambas-buch.de/dwen/ Sat, 02 May 2026 05:27:57 +0000 FeedCreator 1.8 https://gambas-buch.de/dwen/lib/tpl/dokuwiki/images/favicon.ico https://gambas-buch.de/dwen/ https://gambas-buch.de/dwen/doku.php?id=k13:k13.3:k13.3.1:start&rev=1775136511&do=diff 13.3.1 Option menu An option menu is a menu with a text and a CheckBox whose value can be toggled between the two states ☑ (activated) and ☐ (deactivated). To implement a menu with this property, you must use the Checked property of a menu. You can set this property in the menu editor or in the source code. The Checked property of a menu corresponds to the Toggle property. anonymous@undisclosed.example.com (Anonymous) Thu, 02 Apr 2026 13:28:31 +0000