more options to gc data (undomanager.clear and tryGc)

This commit is contained in:
Kevin Jahns
2020-01-27 03:42:32 +01:00
parent 705dce7838
commit e3c59b0aa7
6 changed files with 113 additions and 63 deletions

View File

@@ -55,5 +55,6 @@ export {
isDeleted,
isParentOf,
equalSnapshots,
PermanentUserData // @TODO experimental
PermanentUserData, // @TODO experimental
tryGc
} from './internals.js'