comparison: ui/gtk/text.h
ui/gtk/text.h
- changeset 1198
- 5bb4366b0c32
- parent 1153
- f15375e0480c
equal
deleted
inserted
replaced
| 1197:4bbf0487509f | 1198:5bb4366b0c32 |
|---|---|
| 130 void ui_textarea_showposition(UiText *text, int pos); | 130 void ui_textarea_showposition(UiText *text, int pos); |
| 131 void ui_textarea_setselection(UiText *text, int begin, int end); | 131 void ui_textarea_setselection(UiText *text, int begin, int end); |
| 132 void ui_textarea_selection(UiText *text, int *begin, int *end); | 132 void ui_textarea_selection(UiText *text, int *begin, int *end); |
| 133 int ui_textarea_length(UiText *text); | 133 int ui_textarea_length(UiText *text); |
| 134 void ui_textarea_remove(UiText *text, int begin, int end); | 134 void ui_textarea_remove(UiText *text, int begin, int end); |
| 135 void ui_textarea_setreadonly(UiText *text, int readonly); | |
| 135 | 136 |
| 136 void ui_textarea_realize_event(GtkWidget *widget, gpointer data); | 137 void ui_textarea_realize_event(GtkWidget *widget, gpointer data); |
| 137 //void ui_textbuf_changed(GtkTextBuffer *textbuffer, UiTextArea *textarea); | 138 //void ui_textbuf_changed(GtkTextBuffer *textbuffer, UiTextArea *textarea); |
| 138 void ui_textbuf_change_insert( | 139 void ui_textbuf_change_insert( |
| 139 GtkTextBuffer *textbuffer, | 140 GtkTextBuffer *textbuffer, |
