comparison: ui/gtk/text.c
ui/gtk/text.c
- changeset 809
- f5ddce392617
- parent 801
- e096c441e874
- child 906
- edfdf9776da9
equal
deleted
inserted
replaced
| 808:2b0ecad00872 | 809:f5ddce392617 |
|---|---|
| 142 GTK_SCROLLED_WINDOW(scroll_area), | 142 GTK_SCROLLED_WINDOW(scroll_area), |
| 143 GTK_POLICY_AUTOMATIC, | 143 GTK_POLICY_AUTOMATIC, |
| 144 GTK_POLICY_AUTOMATIC); // GTK_POLICY_ALWAYS | 144 GTK_POLICY_AUTOMATIC); // GTK_POLICY_ALWAYS |
| 145 SCROLLEDWINDOW_SET_CHILD(scroll_area, text_area); | 145 SCROLLEDWINDOW_SET_CHILD(scroll_area, text_area); |
| 146 | 146 |
| 147 if(args->width > 0 || args->height > 0) { | |
| 148 int width = args->width; | |
| 149 int height = args->height; | |
| 150 if(width == 0) { | |
| 151 width = -1; | |
| 152 } | |
| 153 if(height == 0) { | |
| 154 height = -1; | |
| 155 } | |
| 156 gtk_widget_set_size_request(scroll_area, width, height); | |
| 157 } | |
| 158 | |
| 147 // font and padding | 159 // font and padding |
| 148 //PangoFontDescription *font; | 160 //PangoFontDescription *font; |
| 149 //font = pango_font_description_from_string("Monospace"); | 161 //font = pango_font_description_from_string("Monospace"); |
| 150 //gtk_widget_modify_font(text_area, font); // TODO | 162 //gtk_widget_modify_font(text_area, font); // TODO |
| 151 //pango_font_description_free(font); | 163 //pango_font_description_free(font); |
