public void updateTitle() {
int enc = cc.lastServerEncoding;
if (enc < 0) enc = cc.currentEncoding;
if (enc == Encodings.encodingTight) {
if (cc.opts.allowJpeg) {
String[] subsampStr = {"1X", "4X", "2X", "Gray"};
setTitle(
cc.cp.name()
+ " [Tight + JPEG "
+ subsampStr[cc.opts.subsampling]
+ " Q"
+ cc.opts.quality
+ " + CL "
+ cc.opts.compressLevel
+ "]");
} else {
setTitle(cc.cp.name() + " [Lossless Tight" + " + CL " + cc.opts.compressLevel + "]");
}
} else {
setTitle(cc.cp.name() + " [" + Encodings.encodingName(enc) + "]");
}
}
