comparison: ui/gtk/text.c
ui/gtk/text.c
- changeset 1186
- b114038a48da
- parent 1153
- f15375e0480c
equal
deleted
inserted
replaced
| 1185:32f10747902b | 1186:b114038a48da |
|---|---|
| 245 | 245 |
| 246 gtk_text_view_scroll_to_iter(GTK_TEXT_VIEW(widget), &offset, 0.2, FALSE, 0, 0); | 246 gtk_text_view_scroll_to_iter(GTK_TEXT_VIEW(widget), &offset, 0.2, FALSE, 0, 0); |
| 247 } | 247 } |
| 248 | 248 |
| 249 void ui_textarea_focus(UIWIDGET textarea) { | 249 void ui_textarea_focus(UIWIDGET textarea) { |
| 250 gtk_widget_grab_focus(textarea); | 250 GtkWidget *widget = ui_textarea_gettextwidget(textarea); |
| 251 if(!widget) { | |
| 252 fprintf(stderr, "Error: ui_textarea_focus: widget is not a textarea\n"); | |
| 253 return; | |
| 254 } | |
| 255 gtk_widget_grab_focus(widget); | |
| 251 } | 256 } |
| 252 | 257 |
| 253 void ui_textarea_set_selection(UIWIDGET textarea, int begin, int end) { | 258 void ui_textarea_set_selection(UIWIDGET textarea, int begin, int end) { |
| 254 GtkWidget *widget = ui_textarea_gettextwidget(textarea); | 259 GtkWidget *widget = ui_textarea_gettextwidget(textarea); |
| 255 if(!widget) { | 260 if(!widget) { |
