commit | a23ce1b45ff8b8999e2817c9e747188c559725e1 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Sep 11 06:43:17 2019 +0000 |
committer | nicm <nicm> | Wed Sep 11 06:43:17 2019 +0000 |
tree | 3d982412b93f976abc7a70452196e248bc26d7f4 | |
parent | 0feae4d8ae4190b89f486fddab10a691cc7a8fd3 [diff] |
Add window_marked_flag, GitHub issue 1887.