diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-25 17:08:45 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-25 17:08:45 +0200 |
commit | d456dce8af77572ec5c9bec87cf1477fa52ea318 (patch) | |
tree | ec308e7e7fc16cb233efd94b914351080e16696e /platform/ios/device_metrics.h | |
parent | eae7d275786449be37ca01e0aeee351120a0ba47 (diff) | |
parent | a9b394d5bcd551d7ccb16cf19d6e40f675c9d07b (diff) |
Merge pull request #65535 from RedMser/script-editor-inheritance-icon
Show override icon in script editor gutter
Diffstat (limited to 'platform/ios/device_metrics.h')
0 files changed, 0 insertions, 0 deletions