diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-25 18:15:32 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-25 18:15:32 +0200 |
| commit | 9daaa709207adf77eb5cf7c440782eaad3a3f7b2 (patch) | |
| tree | b39fd64d02f67c07c65d89b0fa48fb6d7b73732b /scene/gui | |
| parent | a16eb3726cd14bbcc2dd9e5024e6bb438feca301 (diff) | |
| parent | 27dbbd68d5244a20942cc759976132050d93f164 (diff) | |
Merge pull request #4808 from Paulb23/mark_and_breakpoint_colors
Added settings to change marked and breakpoint color
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions