I won't commit that change i just mentioned until tomorrow at the earliest. However, i'm wondering if i should just tack it onto the existing pull request because that pull request already modifies the same file (DataGrid.cs).