def changeFontSize(self, fontSize): newFontSize = int(fontSize) swing.text.StyleConstants.setFontSize(self.textAttrib, newFontSize) text = DefaultStyledDocument.getText( self, 0, DefaultStyledDocument.getLength(self)) DefaultStyledDocument.remove(self, 0, DefaultStyledDocument.getLength(self)) DefaultStyledDocument.insertString(self, 0, text, self.textAttrib)
def remove(self, offset, len): #When remove is called by methods in JES, there is no need to check the #position if self.command.getIsSystem() != FALSE: DefaultStyledDocument.remove(self, offset, len) else: #When remove is called by Jython, check to make sure the string is #to be inserted after the most recent prompt if self.command.getCaretPosition() >= self.command.getOldPos() + 1: DefaultStyledDocument.remove(self, offset, len)
def changeFontSize(self, fontSize): newFontSize = int(fontSize) swing.text.StyleConstants.setFontSize(self.textAttrib, newFontSize) text = DefaultStyledDocument.getText(self, 0, DefaultStyledDocument.getLength(self)) DefaultStyledDocument.remove(self, 0, DefaultStyledDocument.getLength(self)) DefaultStyledDocument.insertString(self, 0, text, self.textAttrib)