43 |
char *selection=XmTextGetSelection(arshell.gui.widgets.work); |
char *selection=XmTextGetSelection(arshell.gui.widgets.work); |
44 |
XmTextPosition left; |
XmTextPosition left; |
45 |
XmTextPosition right; |
XmTextPosition right; |
46 |
XmTextPosition position=XmTextGetSelectionPosition(arshell.gui.widgets.work, |
XmTextPosition position; |
47 |
&left, &right); |
XmTextGetSelectionPosition(arshell.gui.widgets.work, |
48 |
|
&left, &right); |
49 |
if(selection != NULL) |
if(selection != NULL) |
50 |
{ |
{ |
51 |
Boolean found=XmTextFindString(arshell.gui.widgets.work, |
Boolean found=XmTextFindString(arshell.gui.widgets.work, |