diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-04-05 12:05:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-05 12:05:07 +0200 |
| commit | de3b3e1cdad7c48217198940af86d72c9c9d8d3f (patch) | |
| tree | 875b5c29a94cbcc10a9f5360bd401e8bfd5331f7 /version.py | |
| parent | 460bef1dabb5baad19efe7280139bcc620507712 (diff) | |
| parent | b60b6ddba445c7869025092deb1750a5ad98cf3a (diff) | |
Merge pull request #47633 from Calinou/editor-theme-scrollbar-add-background
Add a subtle background to editor scrollbars
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions