def changeFontSize(self, fontSize): newFontSize = int(fontSize) swing.text.StyleConstants.setFontSize(self.errorLineAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.commentAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.stringAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.textAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.jesEnvironmentWordAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.rParenAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.lParenAttrib, newFontSize); swing.text.StyleConstants.setFontSize(self.keywordAttrib, newFontSize) HighlightingStyledDocument.updateHighlightingInRange(self, 0, HighlightingStyledDocument.getLength(self)) self.editor.gui.gutter.repaint()
def changeFontSize(self, fontSize): newFontSize = int(fontSize) swing.text.StyleConstants.setFontSize(self.errorLineAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.commentAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.stringAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.textAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.jesEnvironmentWordAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.rParenAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.lParenAttrib, newFontSize) swing.text.StyleConstants.setFontSize(self.keywordAttrib, newFontSize) HighlightingStyledDocument.updateHighlightingInRange( self, 0, HighlightingStyledDocument.getLength(self)) self.editor.gui.gutter.repaint()