diff --git a/dotnet/src/Basin.cs b/dotnet/src/Basin.cs index b14e804..467db08 100644 --- a/dotnet/src/Basin.cs +++ b/dotnet/src/Basin.cs @@ -151,6 +151,7 @@ public void SetCursor(BasinCursor cursor, string? label = null) string pointer; if (cursorLabel is null) { + // Assume that the cursor was set properly as documented before this method was called. cursor = this.defaultCursor!; pointer = this.defaultPointer!; }