コード例 #1
0
ファイル: DatasetViewer.java プロジェクト: mazl123321/thredds
 void saveState() {
   table.saveState(false);
   if (split != null) myPrefs.putInt("splitPos" + level, split.getDividerLocation());
 }