diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-09-11 10:01:52 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-09-11 10:05:46 -0300 |
| commit | 1bf684cea274db7c58b3f62a77ad4de3980c14dc (patch) | |
| tree | b39c833d3e744b7070d188f5f3335cacf19d7fec /tools/editor/icons/icon_help.png | |
| parent | e6ef92d21753e2b06e5f490d59d12d512490093b (diff) | |
-Cleaned up find/replace bar for replace (made selection only default if selection exists), also made buttons look like buttons
-Fixed a bug related to theme propagation, may be able to solve #6443, #6302 and others. Please test.
Diffstat (limited to 'tools/editor/icons/icon_help.png')
0 files changed, 0 insertions, 0 deletions