comparison: console/libgnt/gntbox.c
console/libgnt/gntbox.c
- changeset 13926
- d2c1522276b3
- parent 13922
- 7195a6fe2416
- child 13928
- 37d7f9a6ffc6
equal
deleted
inserted
replaced
| 13925:cf8ee500a599 | 13926:d2c1522276b3 |
|---|---|
| 30 pos = 1; | 30 pos = 1; |
| 31 } | 31 } |
| 32 else | 32 else |
| 33 { | 33 { |
| 34 /* XXX: Position of the title might be configurable */ | 34 /* XXX: Position of the title might be configurable */ |
| 35 pos = (widget->priv.width - pos - 2) / 2; | 35 pos = (widget->priv.width - pos) / 2; |
| 36 } | 36 } |
| 37 wbkgdset(widget->window, '\0' | COLOR_PAIR(GNT_COLOR_TITLE)); | 37 wbkgdset(widget->window, '\0' | COLOR_PAIR(GNT_COLOR_TITLE)); |
| 38 mvwprintw(widget->window, 0, pos, title); | 38 mvwprintw(widget->window, 0, pos, title); |
| 39 g_free(title); | 39 g_free(title); |
| 40 } | 40 } |
