diff options
author | Stivvo <stivvo01@gmail.com> | 2020-10-31 13:19:31 +0100 |
---|---|---|
committer | Stivvo <stivvo01@gmail.com> | 2020-10-31 13:19:31 +0100 |
commit | 9f0b16868a082175508c0c747054f324595d5b67 (patch) | |
tree | b2ab60f384afce772fbacea45af03e0f52d47ec5 /.github | |
parent | 5622dbdaf3eaa62183d81e9b545a92abcc1a704d (diff) |
Back to closemon() with one parameter
With the recent changes in output-management, the extra argument in
closemon() would be needed only when unplugging the monitor, so it isn't
worth it anymore. Also now is more efficient.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions