org.gjt.sp.jedit.buffer.JEditBuffer.setMode(String) org.gjt.sp.jedit.buffer.JEditBuffer.setMode(Mode) org.gjt.sp.jedit.syntax.ModeProvider.addMode(Mode) org.gjt.sp.jedit.syntax.ModeProvider.getMode(String) org.gjt.sp.jedit.View.toggleFullScreen() org.gjt.sp.jedit.options.ViewOptionPane._init() org.gjt.sp.jedit.options.ViewOptionPane._save() org.gjt.sp.jedit.View.View(Buffer,ViewConfig) org.gjt.sp.jedit.View.propertiesChanged() org.gjt.sp.jedit.View.updateFullScreenProps()