diff options
author | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2018-05-16 11:43:00 -0300 |
---|---|---|
committer | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2018-05-16 12:11:20 -0300 |
commit | 22041264ed38b65379a46a54050448d3807b5936 (patch) | |
tree | 8157bffc7f4aaac4d9a8a8af1c8993bfd7126c60 /platform/x11 | |
parent | 93c4274941cf755c738a870eaeb71521da05cad3 (diff) |
[Doc] Fixes in find bar
- Automatically select all text when find bar called.
- Adjust the size height when first displayed.
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions