Giovanni Campagna 0c5d87d79b PopupMenu: allow insertion of items at any point
Add a "position" argument to addMenuItem, and pass it to the
underlying box layout. If undefined or null, it adds at the end.
2010-11-16 20:42:53 +01:00
..
2010-10-23 14:02:45 -04:00
2010-11-12 17:36:26 -05:00
2010-11-12 17:36:26 -05:00
2010-11-05 19:02:53 +01:00
2010-11-12 17:36:26 -05:00
2010-11-12 17:36:26 -05:00