def updateUI(self):
# Update the default font, if necessary,
# when the look and feel changes.
JTextPane.updateUI(self)
doc = self.getStyledDocument()
if hasattr(doc, 'setTheme'):
# Sometimes, we don't have a CommandWindowDocument here.
doc.setTheme(doc.themeName)
def updateUI(self):
# Update the default font, if necessary,
# when the look and feel changes.
JTextPane.updateUI(self)
doc = self.getStyledDocument()
if hasattr(doc, 'setTheme'):
# Sometimes, we don't have a CommandWindowDocument here.
doc.setTheme(doc.themeName)
