= Issue 2668434

== Short Description

fullscreen-mode

== Long Description

A fullscreen mode for jEdit would be very nice. Especially on netbooks with limited screen-size it is useful, to get rid of the titlebar and window-borders.

== Feature Description

% BASE
jEdit は通常では，メニューバー，ツールバー，ウィンドウ境界を持つエディタのウィンドウを表示します．

% CORE
この機能に対して，F11 キーを押したとき，メニューバー，ツールバー，ウィンドウ境界を非表示にして，ウィンドウを画面全体に表示する機能を追加しました．
全画面表示の状態で再度 F11 キーを押すと通常のウィンドウ表示に戻ります．
また，フルスクリーン表示の状態においてメニューバー，ツールバ，ステータスバーを表示するかどうかを，全般的なオプション(General Options ダイアログ) を用いて指定できるようにしました．

![フルスクリーン表示](task2-2668434.png)

% TASK
この機能追加によって追加あるいは修正されたすべてのメソッドを特定してください．
クラス宣言そのものに対する修正，インタフェースにおけるメソッド宣言（本体を持たないもの），
クラスのstatic 初期化子は含みません．

== Gold Set

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