diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-14 19:40:21 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-14 19:40:21 -0400 |
| commit | f876b491aed01150ff090048e3dca4f3eb8c76f4 (patch) | |
| tree | 5bad2e2ef9c94dfe81029f4f7e40639f6a19eaac /core | |
| parent | 13bd039c243ef4e44bd037d1c3506d350f682c09 (diff) | |
| download | textadept-f876b491aed01150ff090048e3dca4f3eb8c76f4.tar.gz textadept-f876b491aed01150ff090048e3dca4f3eb8c76f4.zip | |
`ui.dialogs.optionselect()` changes `informative_text` option to `text`.
This is more consistent with other non-text-input dialog options.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions