Git_Mirror/Terminal.Gui
1
0
Fork 0
mirror of https://github.com/gui-cs/Terminal.Gui.git synced 2025-12-30 17:57:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed release build issue

Browse Source
This commit is contained in:
Tig
2024-09-17 10:06:49 -06:00
parent b6adfb20a0
commit a0fcfa0c99
3 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Terminal.Gui/Application/ApplicationNavigation.cs
View File

@@ -83,8 +83,6 @@ public class ApplicationNavigation
return;
}
//Debug.Assert(value is {});
_focused = value;
FocusedChanged?.Invoke (null, EventArgs.Empty);

4
Terminal.Gui/View/Adornment/Border.cs
View File

@@ -289,7 +289,7 @@ public class Border : Adornment
// BUGBUG: See https://github.com/gui-cs/Terminal.Gui/issues/3312
if (!_dragPosition.HasValue && mouseEvent.Flags.HasFlag (MouseFlags.Button1Pressed))
{
Parent.SetFocus ();
Parent!.SetFocus ();
ApplicationOverlapped.BringOverlappedTopToFront ();
if (!Parent!.Arrangement.HasFlag (ViewArrangement.Movable)
@@ -451,7 +451,7 @@ public class Border : Adornment
{
if (_dragPosition.HasValue)
{
if (Parent.SuperView is null)
if (Parent!.SuperView is null)
{
// Redraw the entire app window.
Application.Top!.SetNeedsDisplay ();

1
Terminal.Gui/View/View.Navigation.cs
View File

@@ -589,7 +589,6 @@ public partial class View // Focus and cross-view navigation management (TabStop
{
if (superViewOrParent?._previouslyFocused is { })
{
Debug.Assert (!superViewOrParent._previouslyFocused.WasDisposed);
if (superViewOrParent._previouslyFocused != this)
{
superViewOrParent?._previouslyFocused?.SetFocus ();