/**
 * Debounce timeout for selection change event
 * {@link modules/ui.ts}
 */
export const selectionChangeDebounceTimeout = 180;

/**
 * Timeout for batching of DOM changes used by the ModificationObserver
 * {@link modules/modificationsObserver.ts}
 */
export const modificationsObserverBatchTimeout = 400;
