diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2016-02-17 15:32:05 +0200 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2016-02-17 15:48:09 +0200 |
| commit | f408cf7ed36857269a07d762e28dcfa2540d6d26 (patch) | |
| tree | 92bc9d973837d3c5e6472f5d5c2c20ba429d8db1 /src/user_interface.hh | |
| parent | 5de6963f74331659b0f9a0b06384ad0f436385a3 (diff) | |
Allow users to chose how the buffers are padded
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index 67553922..b3f45677 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -53,7 +53,8 @@ public: virtual void info_hide() = 0; virtual void draw(const DisplayBuffer& display_buffer, - const Face& default_face) = 0; + const Face& default_face, + const Face& padding_face) = 0; virtual void draw_status(const DisplayLine& status_line, const DisplayLine& mode_line, |