| 211 long right = 0; |
211 long right = 0; |
| 212 XmTextGetSelectionPosition(widget, &left, &right); |
212 XmTextGetSelectionPosition(widget, &left, &right); |
| 213 int sel = left < right ? 1 : 0; |
213 int sel = left < right ? 1 : 0; |
| 214 if(sel != textarea->last_selection_state) { |
214 if(sel != textarea->last_selection_state) { |
| 215 if(sel) { |
215 if(sel) { |
| 216 ui_set_group(textarea->obj->ctx, UI_GROUP_SELECTION); |
216 ui_set_state(textarea->obj->ctx, UI_GROUP_SELECTION); |
| 217 } else { |
217 } else { |
| 218 ui_unset_group(textarea->obj->ctx, UI_GROUP_SELECTION); |
218 ui_unset_state(textarea->obj->ctx, UI_GROUP_SELECTION); |
| 219 } |
219 } |
| 220 } |
220 } |
| 221 textarea->last_selection_state = sel; |
221 textarea->last_selection_state = sel; |
| 222 } |
222 } |
| 223 |
223 |