diff options
| author | Neil <nyamatongwe@gmail.com> | 2019-06-18 12:49:18 +1000 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2019-06-18 12:49:18 +1000 |
| commit | 1f0f51151905638c121a4a3f3817683ed777fc5d (patch) | |
| tree | 4bffcf4458fa9f1ad09d5dc7bed5f90a5a19883e /scripts/CheckMentioned.py | |
| parent | a69ac941a56d1eedd1eeff543da40acc075d9be3 (diff) | |
| download | scintilla-mirror-1f0f51151905638c121a4a3f3817683ed777fc5d.tar.gz | |
Backport: Feature [feature-requests:#1297] 5: Separate IndicatorNumbers from IndicatorStyle.
Deprecate INDIC?_MASK as they depended on old style-byte indicators so are no
longer valid.
Backport of changeset 7587:fa37b07baf0e.
Diffstat (limited to 'scripts/CheckMentioned.py')
0 files changed, 0 insertions, 0 deletions