diff options
| author | Teddy Wing | 2019-10-14 21:53:34 +0200 |
|---|---|---|
| committer | Teddy Wing | 2019-10-14 21:53:34 +0200 |
| commit | a3cb685eb03c256221e8412640fd8ab5a044df9c (patch) | |
| tree | 0a66241278eb4c2a29b57750eb1c0d15b1374eef /terminal_tab_hotkeys.lua | |
| parent | 16be80dc3608907223815c5d95bb59e2d3fc046f (diff) | |
| download | dothammerspoon-a3cb685eb03c256221e8412640fd8ab5a044df9c.tar.bz2 | |
window_layout: Restore all window positions when monitors change
Save all window positions when windows are moved, resized, created,
deleted.
When the primary monitor changes, restore previously saved window
positions for that monitor.
This ensures that our windows stay in the same position even after
connecting and disconnecting an external monitor.
Diffstat (limited to 'terminal_tab_hotkeys.lua')
0 files changed, 0 insertions, 0 deletions