Einstellungen:
Suchergebnisse werden farbig hervorgehoben. Diese Kennzeichnung kann (z.B. zum Druck) entfernt werden.
Highlight
Die Gestensteuerung kann z.B. ausgeschaltet werden, um Texte in mit Maus oder Gesten markieren zu können.
Gestensteuerung