code: public void doWithoutListeners(Setting setting, Runnable action) {
      LOGGER.trace(String.format("doWithoutListeners: setting: %s", setting));
      setListenerActive(false);
      LOGGER.trace("removed listener");
      action.run();
      LOGGER.trace("performed action");
      setListenerActive(true);
      LOGGER.trace("add listener back");
    }
docs: Enables to perform an action, without firing the attached ChangeListener of a Setting.
  This is used by undo and redo, since those shouldn't cause a new change to be added.
  
  @param setting the setting, whose ChangeListener should be ignored
  @param action  the action to be performed