1 /* $Id: selection.h,v 1.3 2001/02/26 23:38:03 edg Exp $ */
2 void GotoSelectedLineNumber(WindowInfo
*window
, Time time
);
3 void GotoLineNumber(WindowInfo
*window
);
4 void SelectNumberedLine(WindowInfo
*window
, int lineNum
);
5 void OpenSelectedFile(WindowInfo
*window
, Time time
);
6 char *GetAnySelection(WindowInfo
*window
);
7 void BeginMarkCommand(WindowInfo
*window
);
8 void BeginGotoMarkCommand(WindowInfo
*window
, int extend
);
9 void AddMark(WindowInfo
*window
, Widget widget
, char label
);
10 void UpdateMarkTable(WindowInfo
*window
, int pos
, int nInserted
,
12 void GotoMark(WindowInfo
*window
, Widget w
, char label
, int extendSel
);
13 void MarkDialog(WindowInfo
*window
);
14 void GotoMarkDialog(WindowInfo
*window
, int extend
);