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 /main/main_builders.py | |
| 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 'main/main_builders.py')
0 files changed, 0 insertions, 0 deletions