Example #1
0
		public static void Remove()
		{
			if (instance != null) {
				BookmarkManager.RemoveMark(instance);
				instance = null;
			}
		}
Example #2
0
 public static void Remove()
 {
     if (instance != null)
     {
         BookmarkManager.RemoveMark(instance);
         instance = null;
     }
 }
Example #3
0
        public static void SetPosition(IMemberRef memberReference, int makerStartLine, int makerStartColumn, int makerEndLine, int makerEndColumn, uint ilOffset)
        {
            Remove();

            startLine   = makerStartLine;
            startColumn = makerStartColumn;
            endLine     = makerEndLine;
            endColumn   = makerEndColumn;

            instance = new CurrentLineBookmark(memberReference, new TextLocation(startLine, startColumn), ilOffset);
            BookmarkManager.AddMark(instance);
        }
Example #4
0
		public static void SetPosition(MemberReference memberReference, int makerStartLine, int makerStartColumn, int makerEndLine, int makerEndColumn)
		{
			Remove();
			
			startLine   = makerStartLine;
			startColumn = makerStartColumn;
			endLine     = makerEndLine;
			endColumn   = makerEndColumn;
			
			instance = new CurrentLineBookmark(memberReference, new AstLocation(startLine, startColumn));
			BookmarkManager.AddMark(instance);
		}