Lars Michelsen
3f34ff56b8
Improve update logic after ale finished
...
Previously the ale refresh was triggered after user interactions only.
When linting takes some time and the user is not actively working the
ale information was not updated while the things ale directly controls
were updated. This change makes showing linting results a loot smoother.
2018-10-14 20:19:39 +02:00
..
2018-09-25 16:03:30 +02:00
2018-09-22 03:34:27 +01:00
2018-10-14 20:19:39 +02:00
2018-06-11 14:45:29 +02:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-19 13:28:02 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-07-22 15:39:54 -04:00
2018-07-23 13:05:34 -07:00
2018-04-06 02:14:10 +02:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-09-23 10:50:15 -04:00
2018-04-09 00:47:23 +02:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-09-28 12:56:49 +03:00
2018-01-05 10:37:59 +01:00
2018-09-25 16:03:30 +02:00
2018-01-05 10:37:59 +01:00
2018-06-04 22:44:46 +02:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-01-05 10:37:59 +01:00
2018-06-18 01:09:56 +02:00
2018-01-05 10:37:59 +01:00
2018-09-23 20:10:32 +02:00
2018-04-18 10:46:55 +02:00
2018-01-05 10:37:59 +01:00