2
// <copyright see="prj:///doc/copyright.txt"/>
3
// <license see="prj:///doc/license.txt"/>
4
// <owner name="Mike Krüger" email="mike@icsharpcode.net"/>
5
// <version value="$version"/>
9
using System.Collections;
11
namespace MonoDevelop.TextEditor.Document
14
/// This class handles the bookmarks for a buffer
16
public interface IBookMarkManager
19
/// Contains all bookmarks as int values
26
/// The lowest mark, if no marks exists it returns -1
33
/// The highest mark, if no marks exists it returns -1
40
/// Sets the mark at the line <code>lineNr</code> if it is not set, if the
41
/// line is already marked the mark is cleared.
43
void ToggleMarkAt(int lineNr);
46
/// Returns true if the line <code>lineNr</code> is marked
48
bool IsMarked(int lineNr);
51
/// Clears all bookmarks
56
/// returns first mark higher than <code>lineNr</code>
59
/// returns the next mark > cur, if it not exists it returns FirstMark()
61
int GetNextMark(int lineNr);
64
/// returns first mark lower than <code>lineNr</code>
67
/// returns the next mark lower than cur, if it not exists it returns LastMark()
69
int GetPrevMark(int lineNr);
73
/// Is fired before the bookmarks change
75
event EventHandler BeforeChanged;
78
/// Is fired after the bookmarks change
80
event EventHandler Changed;