comparison: console/libgnt/gntline.c
console/libgnt/gntline.c
- changeset 14072
- 4e64a4f18686
- parent 14005
- 198d1658b390
- child 14494
- 3575eac3a518
equal
deleted
inserted
replaced
| 14071:fa1c877e2520 | 14072:4e64a4f18686 |
|---|---|
| 12 gnt_line_draw(GntWidget *widget) | 12 gnt_line_draw(GntWidget *widget) |
| 13 { | 13 { |
| 14 GntLine *line = GNT_LINE(widget); | 14 GntLine *line = GNT_LINE(widget); |
| 15 if (line->vertical) | 15 if (line->vertical) |
| 16 mvwvline(widget->window, 1, 0, ACS_VLINE | COLOR_PAIR(GNT_COLOR_NORMAL), | 16 mvwvline(widget->window, 1, 0, ACS_VLINE | COLOR_PAIR(GNT_COLOR_NORMAL), |
| 17 widget->priv.height - 3); | 17 widget->priv.height - 2); |
| 18 else | 18 else |
| 19 mvwhline(widget->window, 0, 1, ACS_HLINE | COLOR_PAIR(GNT_COLOR_NORMAL), | 19 mvwhline(widget->window, 0, 1, ACS_HLINE | COLOR_PAIR(GNT_COLOR_NORMAL), |
| 20 widget->priv.width - 3); | 20 widget->priv.width - 2); |
| 21 } | 21 } |
| 22 | 22 |
| 23 static void | 23 static void |
| 24 gnt_line_size_request(GntWidget *widget) | 24 gnt_line_size_request(GntWidget *widget) |
| 25 { | 25 { |
