Misc fixes (#2013)

This commit is contained in:
srkizer 2024-08-15 22:22:33 +09:00 committed by GitHub
parent bd9eaed763
commit ecf8e323c4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 44 additions and 15 deletions

View file

@ -26,12 +26,12 @@ public interface IReadOnlyDtrBarEntry
/// <summary>
/// Gets the text of this entry.
/// </summary>
public SeString Text { get; }
public SeString? Text { get; }
/// <summary>
/// Gets a tooltip to be shown when the user mouses over the dtr entry.
/// </summary>
public SeString Tooltip { get; }
public SeString? Tooltip { get; }
/// <summary>
/// Gets a value indicating whether this entry should be shown.