render: remove render_refresh_margins()

This commit is contained in:
Daniel Eklöf 2020-09-29 10:08:59 +02:00
parent 5924892bbe
commit af2873987f
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)
{