Comment 7 for bug 1518775

Revision history for this message
Alberts Muktupāvels (muktupavels) wrote :

We could use timeout before re-loading menu in gnome-panel, but how big timeout we should use?