Generated by
JDiff

Class org.jhotdraw.samples.teddy.text.NumberedParagraphView

Changed Fields
short NUMBERS_WIDTH Change from non-final to final.