diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-05 09:31:11 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-05 09:31:11 +0100 |
| commit | ab555a6984e9979168c5c37080f6595ee4048ec9 (patch) | |
| tree | 822d86a3baa3a6f6626eff6660df8a3866adb1be /ale_linters | |
| parent | 6ff4ed93a7db4a040d0de2504e601665fdecfc98 (diff) | |
| download | ale-ab555a6984e9979168c5c37080f6595ee4048ec9.zip | |
Reduce screen shaking by leaving the dummy sign in place while signs are being added and removed.
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions