package org.jabref.gui.openoffice;
/**
* Exception used to indicate that the plugin attempted to set a character format that is
* not defined in the current OpenOffice document.
*/
class UndefinedCharacterFormatException extends Exception {
private final String formatName;
public UndefinedCharacterFormatException(String formatName) {
super();
this.formatName = formatName;
}
public String getFormatName() {
return formatName;
}
}