commit | e6e3c75ed70adece8b1cf93017f6f359d022bdb0 | [log] [download] |
---|---|---|
author | nicm <nicm> | Fri Dec 31 11:35:49 2021 +0000 |
committer | nicm <nicm> | Fri Dec 31 11:35:49 2021 +0000 |
tree | 08292a27c9ccc982bc218e72c9c95907d9837fd1 | |
parent | 9aad945f7e58112c3f8819f658e379d672842d73 [diff] |
Try to turn on less-capable mouse modes when turning on more-capable, to increase the chances we get something even if the terminal doesn't support the one we really want. GitHub issue 3020.