diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-22 23:16:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-22 23:16:27 +0100 |
| commit | f2d8c4eb8b3ecb0f62046e40cc76973e8cccc0fd (patch) | |
| tree | 764f41c414da9653dc7dd45a9a52f2699e5dbd8c /editor/editor_scale.h | |
| parent | a7891b9d120e1cb49bcdcffc1107f692ed481d86 (diff) | |
| parent | 5c5a2b747271f879353ba3835972b10c1ed199ca (diff) | |
Merge pull request #36465 from YeldhamDev/debugger_top_margin
Remove extra margin in the top of the debugger
Diffstat (limited to 'editor/editor_scale.h')
0 files changed, 0 insertions, 0 deletions