diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-19 18:28:05 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-19 18:31:52 +0200 |
commit | 4390a9d628aeac7fac19d152316c22dd208ba3f7 (patch) | |
tree | acba93ccf56b4b82ab80c40337fdff0fe82340f3 /doc/Makefile | |
parent | 844251596fb6ceaaeef521611ea32e138b1adc3b (diff) |
Improve search and display in the editor property/method selector
- Use postfix notation for types in the method selector
(for consistency with the editor help).
- Perform a case-insensitive match and replace spaces with underscores
in the search string.
- Fix extraneous space after the `void` return type.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions