Autom. Aktualisieren wenn Datei auf Platte verändert
Wenn aktiviert, beobachtet der Editor ständig das Datum
der Datei. Wenn sich Datum/Uhrzeit verändert hat, weil ein anderes Programm die
Textdatei neu geschrieben hat, aktualisiert TEXTBUCH automatisch
den Inhalt des Editors. Wenn Sie seitdem auch im Editor Änderungen vorgenommen
haben, fragt TEXTBUCH, ob die externen oder die internen Änderungen übernommen
werden sollen. Sie können die Aktualisierungsfrequenz einstellen: selten = alle
10 Sekunden; normal = alle 2 Sekunden; oft = alle 0,5 Sekunden.