Revision f1def7a7
| ID | f1def7a7106673f31de392c55fd3fb4b8ff390b4 |
| Parent | 1a9abf70 |
| Child | 82b3c109 |
B #4871: Fix menu width when there are no edit_labels
Files
- added
- modified
- copied
- renamed
- deleted
| ID | f1def7a7106673f31de392c55fd3fb4b8ff390b4 |
| Parent | 1a9abf70 |
| Child | 82b3c109 |
Added by Carlos MartÃn over 4 years ago
B #4871: Fix menu width when there are no edit_labels