diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-22 07:51:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-22 07:51:33 +0200 |
| commit | 87cb3629f2ae34ee65b2edaa52199c302d14f4e2 (patch) | |
| tree | 20922ffc27fdc1d1cfaf9a54e9e04f318c85cedb /tools/editor/editor_settings.h | |
| parent | 5974653307b56cfd8ed5a8b784f23e7f5822a6f4 (diff) | |
| parent | 45f0dec55c64c62f6f47b6fc6735af33afb6e028 (diff) | |
Merge pull request #5344 from Paulb23/code_completion_colors
Code completion box colors
Diffstat (limited to 'tools/editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions