Dune watch (and probably dune output in general) causes significant GPU power draw due to unnecessary idle refreshes #7184
Description
Expected Behavior
Do nothing while idle.
Actual Behavior
If I have a crappily implemented terminal open (aka vscode's), dune idling will use up ~20W of my GPU. Playing around a little bit, this seems to be because dune is constantly refreshing the terminal.
However the output is being rendered, I believe this would be fixed by short-circuiting if nothing has changed.
Specifications
- Version of
dune(output ofdune --version): 3.6.1 - Operating system (distribution and version): linux