diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-08-13 12:21:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-13 12:21:23 +0200 |
commit | 9ce33978db6c07561a8b6907111cf74aa9b671de (patch) | |
tree | f6338267930137c151910d4c5af929451635e27a /modules/gdscript | |
parent | ec1e8843cf91bb898f54cc56ba2c6b4a8df3c612 (diff) | |
parent | 501fc98c63bd8d28ac403bac028af9d70e70f768 (diff) |
Merge pull request #20666 from Calinou/script-editor-underline-hidpi
Scale underlines in the script editor with the editor scale
Diffstat (limited to 'modules/gdscript')
0 files changed, 0 insertions, 0 deletions