Exemple #1
0
 static void DestroyWindow()
 {
     if (wnd != null)
     {
         if (wnd.Visible)
         {
             wnd.HideWindow();
         }
         wnd.WordCompleted  -= HandleWndWordCompleted;
         wnd.VisibleChanged -= HandleWndVisibleChanged;
         wnd.Destroy();
         wnd = null;
     }
 }
 public static void HideWindow()
 {
     if (!IsVisible)
     {
         return;
     }
     ParameterInformationWindowManager.UpdateWindow(wnd.Extension, wnd.CompletionWidget);
     if (wnd.Extension != null)
     {
         wnd.Extension.document.Editor.FixVirtualIndentation();
     }
     wnd.HideWindow();
     OnWindowClosed(EventArgs.Empty);
     //DestroyWindow ();
 }
Exemple #3
0
 public static void HideWindow()
 {
     isShowing = false;
     if (!IsVisible)
     {
         return;
     }
     if (wnd == null)
     {
         return;
     }
     ParameterInformationWindowManager.UpdateWindow(wnd.Extension, wnd.CompletionWidget);
     wnd.HideWindow();
     OnWindowClosed(EventArgs.Empty);
     //DestroyWindow ();
 }