comparison: ui/gtk/text.c
ui/gtk/text.c
- changeset 967
- ff4a8d10307b
- parent 966
- e411ed7c5f10
- child 973
- aa39a986da78
equal
deleted
inserted
replaced
| 966:e411ed7c5f10 | 967:ff4a8d10307b |
|---|---|
| 52 GtkTextIter begin; | 52 GtkTextIter begin; |
| 53 GtkTextIter end; | 53 GtkTextIter end; |
| 54 int sel = gtk_text_buffer_get_selection_bounds (buf, &begin, &end); | 54 int sel = gtk_text_buffer_get_selection_bounds (buf, &begin, &end); |
| 55 if(sel != textview->last_selection_state) { | 55 if(sel != textview->last_selection_state) { |
| 56 if(sel) { | 56 if(sel) { |
| 57 ui_set_group(textview->ctx, UI_GROUP_SELECTION); | 57 ui_set_state(textview->ctx, UI_GROUP_SELECTION); |
| 58 } else { | 58 } else { |
| 59 ui_unset_group(textview->ctx, UI_GROUP_SELECTION); | 59 ui_unset_state(textview->ctx, UI_GROUP_SELECTION); |
| 60 } | 60 } |
| 61 } | 61 } |
| 62 textview->last_selection_state = sel; | 62 textview->last_selection_state = sel; |
| 63 } | 63 } |
| 64 } | 64 } |
