public SearchResultsPad()
        {
            if (instance != null)
            {
                throw new InvalidOperationException("Cannot create multiple instances");
            }
            instance = this;
            toolBar  = new ToolBar();
            ToolBarTray.SetIsLocked(toolBar, true);
            defaultToolbarItems = ToolBarService.CreateToolBarItems(contentPanel, this, "/SharpDevelop/Pads/SearchResultPad/Toolbar");
            foreach (object toolBarItem in defaultToolbarItems)
            {
                toolBar.Items.Add(toolBarItem);
            }

            contentPlaceholder = new ContentPresenter();
            contentPanel       = new Grid {
                Children = { toolBar, contentPlaceholder }
            };

            contentPanel.RowDefinitions.Add(new RowDefinition {
                Height = GridLength.Auto
            });
            contentPanel.RowDefinitions.Add(new RowDefinition {
                Height = new GridLength(1, GridUnitType.Star)
            });

            Grid.SetRow(contentPlaceholder, 1);
        }
        public static SearchResultMatch Create(IDocument document, TextLocation startLocation, TextLocation endLocation, IHighlighter highlighter)
        {
            int startOffset      = document.GetOffset(startLocation);
            int endOffset        = document.GetOffset(endLocation);
            var inlineBuilder    = SearchResultsPad.CreateInlineBuilder(startLocation, endLocation, document, highlighter);
            var defaultTextColor = highlighter.DefaultTextColor;

            return(new SearchResultMatch(FileName.Create(document.FileName),
                                         startLocation, endLocation,
                                         startOffset, endOffset - startOffset,
                                         inlineBuilder, defaultTextColor));
        }
Esempio n. 3
0
		public SearchResultsPad()
		{
			if (instance != null)
				throw new InvalidOperationException("Cannot create multiple instances");
			instance = this;
			toolBar = new ToolBar();
			ToolBarTray.SetIsLocked(toolBar, true);
			defaultToolbarItems = ToolBarService.CreateToolBarItems(dockPanel, this, "/SharpDevelop/Pads/SearchResultPad/Toolbar");
			foreach (object toolBarItem in defaultToolbarItems) {
				toolBar.Items.Add(toolBarItem);
			}
			
			DockPanel.SetDock(toolBar, Dock.Top);
			contentPlaceholder = new ContentPresenter();
			dockPanel = new DockPanel {
				Children = { toolBar, contentPlaceholder }
			};
		}
Esempio n. 4
0
        public SearchResultsPad()
        {
            if (instance != null)
            {
                throw new InvalidOperationException("Cannot create multiple instances");
            }
            instance = this;
            toolBar  = new ToolBar();
            ToolBarTray.SetIsLocked(toolBar, true);
            defaultToolbarItems = ToolBarService.CreateToolBarItems(dockPanel, this, "/SharpDevelop/Pads/SearchResultPad/Toolbar");
            foreach (object toolBarItem in defaultToolbarItems)
            {
                toolBar.Items.Add(toolBarItem);
            }

            DockPanel.SetDock(toolBar, Dock.Top);
            contentPlaceholder = new ContentPresenter();
            dockPanel          = new DockPanel {
                Children = { toolBar, contentPlaceholder }
            };
        }
Esempio n. 5
0
		public SearchResultsPad()
		{
			if (instance != null)
				throw new InvalidOperationException("Cannot create multiple instances");
			instance = this;
			toolBar = new ToolBar();
			ToolBarTray.SetIsLocked(toolBar, true);
			defaultToolbarItems = ToolBarService.CreateToolBarItems(contentPanel, this, "/SharpDevelop/Pads/SearchResultPad/Toolbar");
			foreach (object toolBarItem in defaultToolbarItems) {
				toolBar.Items.Add(toolBarItem);
			}
			
			contentPlaceholder = new ContentPresenter();
			contentPanel = new Grid {
				Children = { toolBar, contentPlaceholder }
			};
			
			contentPanel.RowDefinitions.Add(new RowDefinition { Height = GridLength.Auto });
			contentPanel.RowDefinitions.Add(new RowDefinition { Height = new GridLength(1, GridUnitType.Star) });

			Grid.SetRow(contentPlaceholder, 1);
		}