Jacob Nevins
d9c4ce9fd8
On Windows, show hidden mouse pointer on error.
...
If a terminal window closed with a popup (due to a network error,
for instance) while the mouse pointer was hidden by 'Hide mouse
pointer when typing in window', the mouse pointer could remain hidden
while over the terminal window, making it hard to navigate to the
popup.
2020-04-14 21:01:09 +01:00
..
2019-09-08 20:29:21 +01:00
2020-02-11 19:12:01 +00:00
2020-03-04 21:23:49 +00:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2019-03-18 20:32:55 +00:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2007-01-07 10:17:12 +00:00
2005-10-04 14:13:28 +00:00
2005-10-04 14:13:28 +00:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2020-03-10 07:11:32 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2019-09-08 20:29:21 +01:00
2019-03-18 20:32:55 +00:00
2007-02-06 22:39:15 +00:00
2019-09-08 20:29:21 +01:00
2019-03-16 12:25:23 +00:00
2017-09-13 19:26:28 +01:00
2019-03-18 21:53:45 +00:00
2020-02-16 11:26:21 +00:00
2019-03-18 22:02:13 +00:00
2017-05-07 16:29:01 +01:00
2019-03-16 12:25:23 +00:00
2019-03-18 20:32:55 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:15:13 +00:00
2020-01-31 09:41:18 +00:00
2020-02-16 11:26:21 +00:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2020-04-14 21:01:09 +01:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2019-03-26 00:27:04 +00:00
2020-03-10 07:11:32 +00:00
2019-03-16 12:25:23 +00:00
2020-03-10 21:06:29 +00:00
2019-10-14 19:42:37 +01:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2019-03-16 12:25:23 +00:00
2019-09-08 20:29:21 +01:00
2010-12-27 00:24:48 +00:00
2020-01-04 13:52:22 +00:00
2020-03-10 21:06:29 +00:00
2020-03-10 21:06:29 +00:00
2020-03-21 15:59:51 +00:00
2020-01-29 06:44:18 +00:00
2020-03-10 21:06:29 +00:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:17:45 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-02-02 10:02:10 +00:00
2020-01-04 13:52:22 +00:00
2020-01-04 13:52:22 +00:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:15:13 +00:00
2020-01-04 13:52:22 +00:00
2020-02-23 16:36:27 +00:00
2019-10-14 19:42:37 +01:00
2020-02-07 19:15:13 +00:00
2017-02-14 23:25:25 +00:00
2019-09-08 20:29:21 +01:00
2020-02-02 10:02:10 +00:00
2019-09-08 20:29:21 +01:00