diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-09-23 13:52:50 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-09-23 20:05:45 +0200 |
| commit | 158c1e3e0c1e9dd8ebf1b93061e1c81805eac339 (patch) | |
| tree | d4c98d10bee2e3d4b1d3203fe298a9b49188d883 /src/libsystemd-terminal/grdev.h | |
| parent | a908d213557cfbe874b7bd1ae3a1b0d3c05c29e9 (diff) | |
terminal: provide display dimensions to API users
Allow users to query the display dimensions of a grdev_display. This is
required to properly resize the objects to be rendered.
Diffstat (limited to 'src/libsystemd-terminal/grdev.h')
| -rw-r--r-- | src/libsystemd-terminal/grdev.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libsystemd-terminal/grdev.h b/src/libsystemd-terminal/grdev.h index 5f745aaad4..6ca8a767c4 100644 --- a/src/libsystemd-terminal/grdev.h +++ b/src/libsystemd-terminal/grdev.h @@ -112,6 +112,8 @@ void grdev_display_set_userdata(grdev_display *display, void *userdata); void *grdev_display_get_userdata(grdev_display *display); const char *grdev_display_get_name(grdev_display *display); +uint32_t grdev_display_get_width(grdev_display *display); +uint32_t grdev_display_get_height(grdev_display *display); bool grdev_display_is_enabled(grdev_display *display); void grdev_display_enable(grdev_display *display); |