// Start the database garbage collector after a short while.
SessionGarbageCollectorJob.getInstance().scheduleAfterQuietTime();
- // Discard database session undo history at this point to prevent
- // the user from undoing any initialization operations performed
- // by the platform startup.
- SimanticsPlatform.INSTANCE.discardSessionUndoHistory();
- TimeLogger.log("Discarded session undo history");
-
// #6353: Workaround for
fixBindings();