diff options
| author | Vito Caputo <vcaputo@gnugeneration.com> | 2016-09-08 10:27:29 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@gnugeneration.com> | 2016-09-09 14:17:08 -0700 |
| commit | 7a5e600e8f67f6fa170d3bd27de7e28150c2dca5 (patch) | |
| tree | 733ece0d586adab2dc266d3d099261d79efadc8f /src/launchers.def | |
| parent | 7f8473326aaff2381f9ed012f6fb54b2691526f1 (diff) | |
overlay: introduce overlay.redraw_needed
Set on window resize, clear on draw_overlay() return.
Used in combination with sample_interval check to gate HZ redraw.
Will be used to gate redraw of process monitors heirarchy as well,
in a subsequent commit.
Diffstat (limited to 'src/launchers.def')
0 files changed, 0 insertions, 0 deletions