« Previous | Next » 

Revision f1def7a7

IDf1def7a7106673f31de392c55fd3fb4b8ff390b4
Parent 1a9abf70
Child 82b3c109

Added by Carlos Martín about 4 years ago

B #4871: Fix menu width when there are no edit_labels

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences