mirror of
https://codeberg.org/dnkl/foot.git
synced 2026-03-24 09:05:48 -04:00
osc: 10/11/12/17/19: don't apply overly much damage
This commit is contained in:
parent
5edb0deffe
commit
d440d5aa2c
1 changed files with 5 additions and 2 deletions
7
osc.c
7
osc.c
|
|
@ -772,6 +772,7 @@ osc_dispatch(struct terminal *term)
|
||||||
switch (param) {
|
switch (param) {
|
||||||
case 10:
|
case 10:
|
||||||
term->colors.fg = color;
|
term->colors.fg = color;
|
||||||
|
term_damage_view(term);
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case 11:
|
case 11:
|
||||||
|
|
@ -785,6 +786,8 @@ osc_dispatch(struct terminal *term)
|
||||||
term_font_subpixel_changed(term);
|
term_font_subpixel_changed(term);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
term_damage_view(term);
|
||||||
|
term_damage_margins(term);
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case 12:
|
case 12:
|
||||||
|
|
@ -795,16 +798,16 @@ osc_dispatch(struct terminal *term)
|
||||||
case 17:
|
case 17:
|
||||||
term->colors.selection_bg = color;
|
term->colors.selection_bg = color;
|
||||||
term->colors.use_custom_selection = true;
|
term->colors.use_custom_selection = true;
|
||||||
|
term_damage_view(term);
|
||||||
break;
|
break;
|
||||||
|
|
||||||
case 19:
|
case 19:
|
||||||
term->colors.selection_fg = color;
|
term->colors.selection_fg = color;
|
||||||
term->colors.use_custom_selection = true;
|
term->colors.use_custom_selection = true;
|
||||||
|
term_damage_view(term);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
term_damage_view(term);
|
|
||||||
term_damage_margins(term);
|
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue