diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-15 13:38:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-15 13:38:47 +0100 |
| commit | 9d511ff924b0772973cb73d4deac5048d12cc89d (patch) | |
| tree | e541640baebc1dcc05d8dbecee18a8c7b9a3e84a /editor/doc_tools.h | |
| parent | e13312db7976fd78a75b29944e0f96a174653a1c (diff) | |
| parent | 26c29cc0d7452da51c266751dcfb9df23c93249a (diff) | |
Merge pull request #45704 from EricEzaM/PR/popup-menu-beautification
Improved PopupMenu visuals. Removed x-y margin, made it 'padding' instead
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions