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) + "]"); } }