diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-08-19 14:54:04 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2017-08-19 14:54:04 -0300 |
| commit | 588ffbc08aaf7d1fa30163f46702d56e032de04a (patch) | |
| tree | 7bc0adda6ab0317d25f41e10f4ab4457411d893a /editor/doc_code_font.h | |
| parent | 8fc6bb8f771c520c15320c3b4be561abc648d65d (diff) | |
Fixed wrong usage of has_no_area function, closes #10434
Diffstat (limited to 'editor/doc_code_font.h')
0 files changed, 0 insertions, 0 deletions