示例#1
0
 void saveState() {
   table.saveState(false);
   if (split != null) myPrefs.putInt("splitPos" + level, split.getDividerLocation());
 }