diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-14 21:24:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-14 21:24:21 +0200 |
| commit | 7a4c203ce932d0f3e1f8a16bc0a7544eee95badd (patch) | |
| tree | 81e02d857f7ef0e4cbfd074b4493caff874fe355 /thirdparty/harfbuzz/src/hb-priority-queue.hh | |
| parent | 12cb05b3040242deebb87262aed8c04218b69044 (diff) | |
| parent | c088e2f416f02f75c906a62b2202f18746fcc5fb (diff) | |
Merge pull request #60225 from YeldhamDev/popmenu_arrow_slim
Reduce width of arrow icons for the default theme in `PopupMenu`
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-priority-queue.hh')
0 files changed, 0 insertions, 0 deletions