/// <summary>
/// Updates all of the specified ListView entries. This is called after minor changes,
/// such as editing a comment or renaming a label, that can be handled by regenerating
/// selected parts of the DisplayList.
/// </summary>
/// <param name="offsetSet"></param>
private void RefreshCodeListViewEntries(RangeSet offsetSet)
{
IEnumerator <RangeSet.Range> iter = offsetSet.RangeListIterator;
while (iter.MoveNext())
{
RangeSet.Range range = iter.Current;
mDisplayList.GenerateRange(range.Low, range.High);
}
}
public void DebugDump()
{
RangeSet rangeSet = new RangeSet();
for (int i = 0; i < mSelection.Length; i++)
{
if (mSelection[i])
{
rangeSet.Add(i);
}
}
Debug.WriteLine("VirtualListViewSelection ranges:");
IEnumerator <RangeSet.Range> iter = rangeSet.RangeListIterator;
while (iter.MoveNext())
{
RangeSet.Range range = iter.Current;
Debug.WriteLine(" [" + range.Low.ToString() + "," + range.High.ToString() + "]");
}
}
