internal void ClearFullSelection(bool undoable = false)
{
if (undoable)
{
SelectionTool.Select(selectedDominoes, false);
}
else
{
foreach (int i in selectedDominoes.ToArray())
{
RemoveFromSelectedDominoes(i);
}
while (undoStack.Count > 0 && undoStack.Peek() is SelectionOperation)
{
undoStack.Pop();
}
}
selectedColors = new int[CurrentProject.colors.Length];
DisplaySettingsTool.Redraw();
SelectionTool.CurrentSelectionDomain.ResetSelectionArea();
RefreshColorAmount();
}
public void UpdateUIElements()
{
RefreshColorAmount();
DisplaySettingsTool.Redraw();
RefreshSizeLabels();
}
