diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-14 14:41:22 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-14 16:49:08 +0100 |
| commit | 15244e55bd884be5edc00b433ba65c3cee4ca62f (patch) | |
| tree | 9916b9e7774a6eda6c95aca4e7fc330c1e248d7d /platform/android/dir_access_jandroid.cpp | |
| parent | f810f76890f23843f3895262fe2f88a7d5d3c3f3 (diff) | |
Improve completion scroll bar visibility in the script editor
This makes the scroll bar bar thicker and more opaque (roughly
matching the editor theme's scroll bar by default).
Diffstat (limited to 'platform/android/dir_access_jandroid.cpp')
0 files changed, 0 insertions, 0 deletions