979899100101102103104105106107
origHeight = textPane.getBounds().height; sectionWidget.designer.setIgnoreKeys(true); textPane.removeMouseListener(this); textPane.removeMouseMotionListener(this); changingEditState = false; typingCommand = new TypingCommand(this, origHeight); }