130
130
public class BookmarkMarginDrawEventArgs : EventArgs
139
132
public TextEditor Editor {
169
157
public LineSegment LineSegment {
175
162
public BookmarkMarginDrawEventArgs (TextEditor editor, Gdk.Drawable win, LineSegment line, int lineNumber, int xPos, int yPos)