diff options
| author | cos <cos> | 2022-02-02 15:03:36 +0100 |
|---|---|---|
| committer | cos <cos> | 2022-02-08 12:11:06 +0100 |
| commit | 56f473731c8a45221172a4c3128d3654345eac9e (patch) | |
| tree | 5083ba4f43633706a75880214ea32b7657876f01 /.gitignore | |
| parent | 5856c067755d5ff9e14c306d93d1a3605ee966fc (diff) | |
| download | ale-feature/open_list_num.zip | |
Treat ale_open_list integer values as thresholdsfeature/open_list_num
Only open list window if the number of warnings or errors equals to or
exceeds the value of ale_open_list. No change when set to `1`.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions