internal static void DecreaseQueue(int newCount)
{
if (newCount >= HighlightersQueue.Count) return;
while (newCount < HighlightersQueue.Count) {
Highlighter highlighterToBeDisposed =
HighlightersQueue.Dequeue();
highlighterToBeDisposed.Dispose();
}
/*
if (newCount < HighlightersQueue.Count) {
while (newCount < HighlightersQueue.Count) {
Highlighter highlighterToBeDisposed =
HighlightersQueue.Dequeue();
highlighterToBeDisposed.Dispose();
}
}
*/
}