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()
Beispiel #2
0
 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()