comparison: ui/gtk/text.c
ui/gtk/text.c
- changeset 962
- 7016bcb8d38b
- parent 907
- d54a72c94320
- child 965
- 5d4419042d9b
equal
deleted
inserted
replaced
| 961:687f43736aef | 962:7016bcb8d38b |
|---|---|
| 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) { | 147 ui_widget_size_request(scroll_area, args->width, args->height); |
| 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 | 148 |
| 159 // font and padding | 149 // font and padding |
| 160 //PangoFontDescription *font; | 150 //PangoFontDescription *font; |
| 161 //font = pango_font_description_from_string("Monospace"); | 151 //font = pango_font_description_from_string("Monospace"); |
| 162 //gtk_widget_modify_font(text_area, font); // TODO | 152 //gtk_widget_modify_font(text_area, font); // TODO |
