diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2021-01-18 14:34:05 -0600 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2021-01-18 14:34:05 -0600 |
| commit | 5eefb51feab42add01c25a51ef50f296c721da04 (patch) | |
| tree | d2cc9768b862940a1240a4bdc19a784a49446e0e /.github | |
| parent | 43f1076833ac3a46ed3ebbdf25cc04b6aeb394c2 (diff) | |
use updatemons as handler for output_layout.change
This should end up firing precisely when we need to adjust our geometry,
rather than us guessing about it based on requests.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions