@Override
  public @NotNull @NonNls String dumpState() {
    return String.format("""

                           use soft wraps: %b, tab width: %d, additional columns: %b, update in progress: %b, bulk update in progress: %b, dirty: %b, deferred regions: %s
                           appliance manager state: %s
                           soft wraps mapping info: %s
                           soft wraps: %s""",
                         myUseSoftWraps, myTabWidth, myForceAdditionalColumns, myUpdateInProgress, myBulkUpdateInProgress,
                         myDirty, deferredFoldRegions,
                         applianceManager.dumpState(), myDataMapper.dumpState(), storage.dumpState());
  }
@Override
  public @NotNull @NonNls String dumpState()