comparison: ui/gtk/text.c
ui/gtk/text.c
- changeset 1201
- fd7dc0716ab6
- parent 1198
- 5bb4366b0c32
equal
deleted
inserted
replaced
| 1200:abb4d3851061 | 1201:fd7dc0716ab6 |
|---|---|
| 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_state(textview->ctx, UI_GROUP_SELECTION); | 57 ui_set_state(textview->ctx, UI_STATE_SELECTION); |
| 58 } else { | 58 } else { |
| 59 ui_unset_state(textview->ctx, UI_GROUP_SELECTION); | 59 ui_unset_state(textview->ctx, UI_STATE_SELECTION); |
| 60 } | 60 } |
| 61 } | 61 } |
| 62 textview->last_selection_state = sel; | 62 textview->last_selection_state = sel; |
| 63 } | 63 } |
| 64 } | 64 } |
