diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-02-10 23:34:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 23:34:21 +0000 |
| commit | 752e6f0ab9201483745caa052cada0afcd078d82 (patch) | |
| tree | d9f07617d592f2d60e551ba6fa9292ab6e6da7ac /ale_linters | |
| parent | 5dbac4ab9cedc4eed0d26d8d4cadff477a6543b2 (diff) | |
| parent | 70b95f16c36b943ce17802730ce33e2691691f1e (diff) | |
| download | ale-752e6f0ab9201483745caa052cada0afcd078d82.zip | |
Merge pull request #2277 from chaucerbao/feature/redraw-after-open
Center the result after `ale#util#Open` jumps
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions