diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 16:41:28 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 16:41:59 -0300 |
| commit | f10bd217a26487f097bc4609c02302126d36ae41 (patch) | |
| tree | afc02337035501e3cdf1f073cec5bddc747d0362 /tools/editor/icons/icon_replace.png | |
| parent | 4f9dea3aed8a0a15df6dfde65fc5f2bd5e8a0b06 (diff) | |
properly fixed notificaitons for theme changed, closes #5774
Diffstat (limited to 'tools/editor/icons/icon_replace.png')
0 files changed, 0 insertions, 0 deletions