render: remove render_refresh_margins()

This commit is contained in:
Daniel Eklöf 2020-09-29 10:08:59 +02:00
parent edb904a187
commit 7ffd31e13a
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
3 changed files with 0 additions and 9 deletions

View file

@ -2385,12 +2385,6 @@ render_refresh(struct terminal *term)
term->render.refresh.grid = true;
}
void
render_refresh_margins(struct terminal *term)
{
term->render.refresh.margins = true;
}
void
render_refresh_csd(struct terminal *term)
{

View file

@ -13,7 +13,6 @@ bool render_resize(struct terminal *term, int width, int height);
bool render_resize_force(struct terminal *term, int width, int height);
void render_refresh(struct terminal *term);
void render_refresh_margins(struct terminal *term);
void render_refresh_csd(struct terminal *term);
void render_refresh_search(struct terminal *term);
void render_refresh_title(struct terminal *term);

View file

@ -373,7 +373,6 @@ struct terminal {
/* Scheduled for rendering, as soon-as-possible */
struct {
bool grid;
bool margins;
bool csd;
bool search;
bool title;
@ -382,7 +381,6 @@ struct terminal {
/* Scheduled for rendering, in the next frame callback */
struct {
bool grid;
bool margins;
bool csd;
bool search;
bool title;