diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-22 12:00:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-22 12:00:00 +0200 |
| commit | a2871cc06b4acaf9b0f4a5e4cd4c99bc826ab059 (patch) | |
| tree | 86f66dab26112c6261e4063f107418b13d475eba /main/tests/test_gui.h | |
| parent | 3564547208030264a28cc55232992aab3cbdad94 (diff) | |
| parent | c1bd94c2a4da71d7423bf434a9fe755bfd7bf25c (diff) | |
Merge pull request #32846 from Chaosus/fix_doc_color
Fix incorrect coloring of in-editor documentation when theme changed
Diffstat (limited to 'main/tests/test_gui.h')
0 files changed, 0 insertions, 0 deletions