| 216 long right = 0; |
216 long right = 0; |
| 217 XmTextGetSelectionPosition(widget, &left, &right); |
217 XmTextGetSelectionPosition(widget, &left, &right); |
| 218 int sel = left < right ? 1 : 0; |
218 int sel = left < right ? 1 : 0; |
| 219 if(sel != textarea->last_selection_state) { |
219 if(sel != textarea->last_selection_state) { |
| 220 if(sel) { |
220 if(sel) { |
| 221 ui_set_state(textarea->obj->ctx, UI_GROUP_SELECTION); |
221 ui_set_state(textarea->obj->ctx, UI_STATE_SELECTION); |
| 222 } else { |
222 } else { |
| 223 ui_unset_state(textarea->obj->ctx, UI_GROUP_SELECTION); |
223 ui_unset_state(textarea->obj->ctx, UI_STATE_SELECTION); |
| 224 } |
224 } |
| 225 } |
225 } |
| 226 textarea->last_selection_state = sel; |
226 textarea->last_selection_state = sel; |
| 227 } |
227 } |
| 228 |
228 |