📄 searchresult.cs
字号:
// <file>
// <copyright see="prj:///doc/copyright.txt"/>
// <license see="prj:///doc/license.txt"/>
// <owner name="Mike Krüger" email="mike@icsharpcode.net"/>
// <version>$Revision: 1420 $</version>
// </file>
using System;
using System.IO;
using System.Drawing;
using ICSharpCode.Core;
using ICSharpCode.SharpDevelop.Internal.Undo;
using ICSharpCode.TextEditor.Document;
namespace SearchAndReplace
{
public class SearchResult
{
ProvidedDocumentInformation providedDocumentInformation;
int offset;
int length;
public string FileName {
get {
return providedDocumentInformation.FileName;
}
}
public ProvidedDocumentInformation ProvidedDocumentInformation {
set {
providedDocumentInformation = value;
}
}
public int Offset {
get {
return offset;
}
}
public int Length {
get {
return length;
}
}
public virtual string TransformReplacePattern(string pattern)
{
return pattern;
}
public IDocument CreateDocument()
{
return providedDocumentInformation.CreateDocument();
}
public SearchResult(int offset, int length)
{
if (length < 0)
throw new ArgumentOutOfRangeException("length");
if (offset < 0)
throw new ArgumentOutOfRangeException("offset");
this.offset = offset;
this.length = length;
}
public virtual Point GetStartPosition(IDocument document)
{
return document.OffsetToPosition(Offset);
}
public virtual Point GetEndPosition(IDocument document)
{
return document.OffsetToPosition(Offset + Length);
}
/// <summary>
/// Gets a special text to display, or null to display the line's content.
/// </summary>
public virtual string DisplayText {
get {
return null;
}
}
public override string ToString()
{
return String.Format("[SearchResult: FileName={0}, Offset={1}, Length={2}]",
FileName,
Offset,
Length);
}
}
public class SimpleSearchResult : SearchResult
{
Point position;
public override Point GetStartPosition(IDocument doc)
{
return position;
}
public override Point GetEndPosition(IDocument doc)
{
return position;
}
string displayText;
public override string DisplayText {
get {
return displayText;
}
}
public SimpleSearchResult(string displayText, Point position) : base(0, 0)
{
this.position = position;
this.displayText = displayText;
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -