|
@@ -784,7 +784,7 @@ namespace Terminal.Gui {
|
|
/// <summary>
|
|
/// <summary>
|
|
/// Closes the current Menu programatically, if open.
|
|
/// Closes the current Menu programatically, if open.
|
|
/// </summary>
|
|
/// </summary>
|
|
- public void CloseMenu()
|
|
|
|
|
|
+ public void CloseMenu ()
|
|
{
|
|
{
|
|
CloseMenu (false, false);
|
|
CloseMenu (false, false);
|
|
}
|
|
}
|