diff options
| author | Vincent Ambo <tazjin@tvl.su> | 2023-11-25T14·47+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-11-25T15·24+0000 |
| commit | 53008771ae57d229bb7eb642aefeb65a08bcb9d1 (patch) | |
| tree | d7ec029cba6ba8dcbed010b40f98d4bae82eeddb /tvix/docs/value-pointer-equality.md | |
| parent | dedcfc3d71260543bea0052bcb71cf4705720dd6 (diff) | |
fix(tazjin/emacs): pick new primary monitor when disabling current r/7057
By default, this will be the (only) remaining monitor. In N>2 situations, ask the user. Change-Id: Id68fcf60d56d0414d1072b8ffeef72c608678f52 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10121 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/docs/value-pointer-equality.md')
0 files changed, 0 insertions, 0 deletions