public void ShowGotoLineNumberWidget () { if (gotoLineNumberWidget == null) { KillWidgets (); gotoLineNumberWidgetFrame = new MonoDevelop.Components.RoundedFrame (); //searchAndReplaceWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (widget.TextEditor.ColorStyle.Default.BackgroundColor)); gotoLineNumberWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (vbox.Style.Background (StateType.Normal))); gotoLineNumberWidgetFrame.Child = gotoLineNumberWidget = new GotoLineNumberWidget (textEditor, gotoLineNumberWidgetFrame); gotoLineNumberWidget.Destroyed += (sender, e) => RemoveSearchWidget (); gotoLineNumberWidgetFrame.ShowAll (); TextEditor.AddAnimatedWidget (gotoLineNumberWidgetFrame, 300, Mono.TextEditor.Theatrics.Easing.ExponentialInOut, Mono.TextEditor.Theatrics.Blocking.Downstage, this.TextEditor.Allocation.Width - 400, -gotoLineNumberWidget.Allocation.Height); ResetFocusChain (); } gotoLineNumberWidget.Focus (); }
bool KillWidgets () { bool result = false; if (searchAndReplaceWidgetFrame != null) { searchAndReplaceWidgetFrame.Destroy (); searchAndReplaceWidgetFrame = null; searchAndReplaceWidget = null; result = true; //clears any message it may have set IdeApp.Workbench.StatusBar.ShowReady (); } if (gotoLineNumberWidgetFrame != null) { gotoLineNumberWidgetFrame.Destroy (); gotoLineNumberWidgetFrame = null; gotoLineNumberWidget = null; result = true; } if (this.textEditor != null) this.textEditor.HighlightSearchPattern = false; if (this.splittedTextEditor != null) this.splittedTextEditor.HighlightSearchPattern = false; if (!isDisposed) ResetFocusChain (); return result; }
public void ShowGotoLineNumberWidget () { if (gotoLineNumberWidget == null) { DestroyFrames (); popupWidgetFrame = new MonoDevelop.Components.RoundedFrame (); //searchAndReplaceWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (widget.TextEditor.ColorStyle.Default.BackgroundColor)); popupWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (Style.Background (StateType.Normal))); popupWidgetFrame.Show (); popupWidgetFrame.Child = gotoLineNumberWidget = new GotoLineNumberWidget (inspectEditor, popupWidgetFrame); gotoLineNumberWidget.Destroyed += (sender, e) => { DestroyFrames (); if (inspectEditor.IsRealized) inspectEditor.GrabFocus (); }; inspectEditor.AddAnimatedWidget (popupWidgetFrame, 300, Mono.TextEditor.Theatrics.Easing.ExponentialInOut, Blocking.Downstage, inspectEditor.Allocation.Width - 400, -gotoLineNumberWidget.Allocation.Height); } gotoLineNumberWidget.Focus (); }
bool KillWidgets () { bool result = false; if (searchAndReplaceWidgetFrame != null) { searchAndReplaceWidgetFrame.Destroy (); searchAndReplaceWidgetFrame = null; searchAndReplaceWidget = null; result = true; } if (gotoLineNumberWidgetFrame != null) { gotoLineNumberWidgetFrame.Destroy (); gotoLineNumberWidgetFrame = null; gotoLineNumberWidget = null; result = true; } if (this.textEditor != null) this.textEditor.HighlightSearchPattern = false; if (this.splittedTextEditor != null) this.splittedTextEditor.HighlightSearchPattern = false; if (!isDisposed) ResetFocusChain (); return result; }
void DestroyFrames () { if (popupWidgetFrame != null) { popupWidgetFrame.Destroy (); popupWidgetFrame = null; gotoLineNumberWidget = null; searchAndReplaceWidget = null; } }