mergeTimeThresholdProperty

The time between changes in milliseconds, where changes can be merged. The default is 10,000 milliseconds (10 seconds). i.e. if we type with less than 10 seconds between keystrokes, the changes will be merged to form a single batch, so undo/redo will not operate one character at a time.

See GlokSettings.historyMergeTimeThresholdProperty