String () { String prefixText = myPrefixText; TextAttributes prefixAttributes = myPrefixAttributes; synchronized (myLock) { return "[prefix text: " + prefixText + ", prefix attributes: " + prefixAttributes + ", space width: " + myPlainSpaceWidth + ", line height: " + myLineHeight + ", descent: " + myDescent + ", char height: " + myCharHeight + ", max char width: " + myMaxCharWidth + ", tab size: " + myTabSize + " ,size manager: " + mySizeManager.dumpState() + " ,logical position cache: " + myLogicalPositionCache.dumpState() + "]"; } }