org.gjt.sp.jedit.gui.StatusBar.propertiesChanged()
org.gjt.sp.jedit.gui.StatusBar.updateCaretStatus()
org.gjt.sp.jedit.options.StatusBarOptionPane._init()
org.gjt.sp.jedit.options.StatusBarOptionPane._save()