diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-12-10 11:13:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-10 11:13:07 +0100 |
commit | 67259d07db3c502f5e2cbe02e869b565e2d0471f (patch) | |
tree | 76a9ff4322fcf51f04b5765f19c26a87467e671e /doc/Makefile | |
parent | bc9b54d6ab1572898085a59cd30ace18e1515bf6 (diff) | |
parent | 383e8919e0187d87a303818e59982bc25edb99ea (diff) |
Merge pull request #44070 from YeldhamDev/popupmenu_separator_font_color
Add "font_color_separator" theme property to 'PopupMenu'
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions