public boolean equals(Object other) {
if (!(other instanceof Text)) {
return false;
}
Text that = (Text) other;
if (!this.getKey().equals(that.getKey())) {
return false; // key does not match
} else if (!this.getDefault(false).equals(that.getDefault(false))) {
return true; // default text does not match
} else if (this.hasPackage() != that.hasPackage()) {
return false; // package does not match
} else if (this.hasPackage() && !this.getPackage().equals(that.getPackage())) {
return false; // package does not match
} else {
return true;
}
}
public Coord sz() {
return (t.sz());
}
public Coord sz() {
if (r == null) return (text().sz());
else return (r.sz());
}
public Tex tex() {
return (t.tex());
}
