Gruppe Checkbox Gadget

Dieses Gadget entscheidet, ob das Muster, daß im String Gadget
rechts steht, bei der Suche benutzt wird oder nicht.

Um dieses Gadget von der Tastatur aus anzuwählen kann man die
Taste '1' benutzen.