diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-04-11 13:44:10 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-04-11 13:44:10 +0100 |
| commit | 815924e4da2d2569e90cf3029b488118f0e824be (patch) | |
| tree | c40dd67bd67734c4c3b339f55f8bc7f6a2a8cc69 /src/user_interface.hh | |
| parent | a026ebf298d7c12d9bb9a823924b1a38db28d74d (diff) | |
| parent | e74878c299a53a1932fde492a8afc4a909b86ae0 (diff) | |
Merge remote-tracking branch 'lenormf/buffer-padding'
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 e8a30a4b..26cf9097 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, |