// nothing changes; otherwise
// we deleted the last region (index=hiddenCols.size()-1)
// or the index was at the end of the alignment (index=hiddenCols.size())
- HiddenCursorPosition oldpos = cursorPos; // .get();
+ HiddenCursorPosition oldpos = cursorPos;
int index = oldpos.getRegionIndex();
if (index >= hiddenColumns.size() - 1)
return null;
}
- HiddenCursorPosition oldpos = cursorPos;// .get();
+ HiddenCursorPosition oldpos = cursorPos;
int index = oldpos.getRegionIndex();
int hiddenCount = oldpos.getHiddenSoFar();
return null;
}
- HiddenCursorPosition oldpos = cursorPos;// .get();
+ HiddenCursorPosition oldpos = cursorPos;
int index = oldpos.getRegionIndex();
int hiddenCount = oldpos.getHiddenSoFar();