org.gjt.sp.jedit.View.View(Buffer,ViewConfig)
org.gjt.sp.jedit.View.updateFullScreenProps()
org.gjt.sp.jedit.View.toggleFullScreen()
org.gjt.sp.jedit.View.propertiesChanged()
org.gjt.sp.jedit.options.ViewOptionPane._init()
org.gjt.sp.jedit.options.ViewOptionPane._save()