diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-07-23 13:03:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-23 13:03:53 +0200 |
commit | e3aa9b51919c90b0614bed7ce29392cf8e094ac9 (patch) | |
tree | e0fdd42fd2c2a28ffece7783db87fddaa059afb2 /editor/plugins/rich_text_editor_plugin.h | |
parent | 542d8b5d50e9e6f97950e8ed65a328b70914290d (diff) | |
parent | 95f55c8f0d0e56fd039333b611d12f88b74cde78 (diff) |
Merge pull request #9706 from djrm/theme_fixes
Icons can now be added inside line edits (Search icon).
Diffstat (limited to 'editor/plugins/rich_text_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions