diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2019-05-02 17:04:24 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2019-05-02 17:04:24 -0400 |
| commit | 0536dd6fa70d012d8c623302a8a19e61e5cc9510 (patch) | |
| tree | 0ab1c893cd4fd0872893e2d1078b53412dc361b6 /core/args.lua | |
| parent | 155731041ae1889b471476006293a4a671dcf9f3 (diff) | |
| download | textadept-0536dd6fa70d012d8c623302a8a19e61e5cc9510.tar.gz textadept-0536dd6fa70d012d8c623302a8a19e61e5cc9510.zip | |
Added case-insensitive option to `textadept.editing.show_documentation()`.
Diffstat (limited to 'core/args.lua')
0 files changed, 0 insertions, 0 deletions