void ShowSearchReplaceWidget (bool replace) { if (searchAndReplaceWidget == null) { KillWidgets (); searchAndReplaceWidgetFrame = new RoundedFrame (); //searchAndReplaceWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (widget.TextEditor.ColorStyle.Default.BackgroundColor)); searchAndReplaceWidgetFrame.SetFillColor (CairoExtensions.GdkColorToCairoColor (vbox.Style.Background (StateType.Normal))); searchAndReplaceWidgetFrame.Child = searchAndReplaceWidget = new SearchAndReplaceWidget (TextEditor, searchAndReplaceWidgetFrame); searchAndReplaceWidget.Destroyed += (sender, e) => RemoveSearchWidget (); searchAndReplaceWidgetFrame.ShowAll (); this.TextEditor.AddAnimatedWidget (searchAndReplaceWidgetFrame, 300, Mono.TextEditor.Theatrics.Easing.ExponentialInOut, Blocking.Downstage, TextEditor.Allocation.Width - 400, -searchAndReplaceWidget.Allocation.Height); // this.PackEnd (searchAndReplaceWidget); // this.SetChildPacking (searchAndReplaceWidget, false, false, CHILD_PADDING, PackType.End); // searchAndReplaceWidget.ShowAll (); if (this.splittedTextEditor != null) { this.splittedTextEditor.HighlightSearchPattern = true; this.splittedTextEditor.TextViewMargin.RefreshSearchMarker (); } ResetFocusChain (); } else { if (TextEditor.IsSomethingSelected) { searchAndReplaceWidget.SetSearchPattern (); } } searchAndReplaceWidget.UpdateSearchPattern (); searchAndReplaceWidget.IsReplaceMode = replace; if (searchAndReplaceWidget.SearchFocused) { if (replace) { searchAndReplaceWidget.Replace (); } else { this.FindNext (); } } searchAndReplaceWidget.Focus (); }
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 (); }
void ShowSearchReplaceWidget (bool replace) { if (searchAndReplaceWidget == null) { this.textEditor.SearchPattern = SearchAndReplaceWidget.searchPattern = ""; // reset pattern, to force an update if (TextEditor.IsSomethingSelected) { SetSearchPattern (); } if (!DisableAutomaticSearchPatternCaseMatch && PropertyService.Get ("AutoSetPatternCasing", true)) SearchAndReplaceWidget.IsCaseSensitive = TextEditor.IsSomethingSelected; KillWidgets (); searchAndReplaceWidgetFrame = new MonoDevelop.Components.RoundedFrame (); //searchAndReplaceWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (widget.TextEditor.ColorStyle.Default.BackgroundColor)); searchAndReplaceWidgetFrame.SetFillColor (MonoDevelop.Components.CairoExtensions.GdkColorToCairoColor (vbox.Style.Background (StateType.Normal))); searchAndReplaceWidgetFrame.Child = searchAndReplaceWidget = new SearchAndReplaceWidget (this, searchAndReplaceWidgetFrame); searchAndReplaceWidgetFrame.ShowAll (); this.TextEditorContainer.AddAnimatedWidget (searchAndReplaceWidgetFrame, 300, Mono.TextEditor.Theatrics.Easing.ExponentialInOut, Mono.TextEditor.Theatrics.Blocking.Downstage, this.TextEditor.Allocation.Width - 400, -searchAndReplaceWidget.Allocation.Height); // this.PackEnd (searchAndReplaceWidget); // this.SetChildPacking (searchAndReplaceWidget, false, false, CHILD_PADDING, PackType.End); // searchAndReplaceWidget.ShowAll (); this.textEditor.HighlightSearchPattern = true; this.textEditor.TextViewMargin.RefreshSearchMarker (); if (this.splittedTextEditor != null) { this.splittedTextEditor.HighlightSearchPattern = true; this.splittedTextEditor.TextViewMargin.RefreshSearchMarker (); } ResetFocusChain (); } else { if (TextEditor.IsSomethingSelected) { SetSearchPattern (); } } searchAndReplaceWidget.UpdateSearchPattern (); searchAndReplaceWidget.IsReplaceMode = replace; if (searchAndReplaceWidget.SearchFocused) { if (replace) { this.Replace (); } else { this.FindNext (); } } searchAndReplaceWidget.Focus (); SetSearchOptions (); }