diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-17 02:27:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-17 02:27:16 +0200 |
| commit | 68676c774d4f3b7bfad8866a08546acf5a594cdf (patch) | |
| tree | e2ab4c8aa7f37bad53a5b5ee592f152455876fae /core/dvector.h | |
| parent | e46c2dbf748934e6fd09b5fbe66ac0a8665313fd (diff) | |
| parent | 2d032c1562a5779f48bed92f2d51dbb9cd0791ec (diff) | |
Merge pull request #21091 from hpvb/fix-removing-popup-menu-item
Call minimum_size_changed() in PopupMenu::remove_item()
Diffstat (limited to 'core/dvector.h')
0 files changed, 0 insertions, 0 deletions