/** @return Fixed foreground colour in #rrggbb format */
public String getFixedColourFG() {
return ip.getFixedColourFG();
}
/** @return True if colour has been fixed for accessibility reasons */
public boolean isFixedColour() {
return ip.getFixedColourFG() != null;
}
