diff options
author | 2019-05-02 17:04:24 -0400 | |
---|---|---|
committer | 2019-05-02 17:04:24 -0400 | |
commit | 0536dd6fa70d012d8c623302a8a19e61e5cc9510 (patch) | |
tree | 0ab1c893cd4fd0872893e2d1078b53412dc361b6 /src | |
parent | 155731041ae1889b471476006293a4a671dcf9f3 (diff) | |
download | textadept-0536dd6fa70d012d8c623302a8a19e61e5cc9510.tar.gz textadept-0536dd6fa70d012d8c623302a8a19e61e5cc9510.zip |
Added case-insensitive option to `textadept.editing.show_documentation()`.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions