diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 22:26:40 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-03-17 22:26:40 +0100 |
commit | 3adc5a45ab8a6a486ee2713f1ef60370c0d94cbe (patch) | |
tree | f87ad1a6b873619cb6a9096504bd20455276baa6 /tools/editor/editor_fonts.cpp | |
parent | 63aafb3f4891a66b06e65ba1f47d958fcd92ed7f (diff) | |
parent | 9c0e1524e56a3d38bf5ab281939770e806ac24e9 (diff) |
Merge pull request #4082 from Paulb23/word_highlighting
Fixes for Word highlighting
Diffstat (limited to 'tools/editor/editor_fonts.cpp')
0 files changed, 0 insertions, 0 deletions