Exemple #1
0
  void reload() {
    super.reload(); // check regions

    base_document.checkWriteLock();
    setupSpacing();
  }