コード例 #1
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex 
 @Override
 public void execute(final GUI gui) {
   gui.gprop.invert(GUIProp.SHOWEXPLORE);
   gui.layoutViews();
 }