Log in / Register
Ubuntu
gnome-panel package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1518775
Comment #7
Comment 7 for bug 1518775
Revision history for this message
Alberts Muktupāvels (muktupavels)
wrote
on 2016-05-24
:
#7
We could use timeout before re-loading menu in gnome-panel, but how big timeout we should use?
We could use timeout before re-loading menu in gnome-panel, but how big timeout we should use?
We could use timeout before re-loading menu in gnome-panel, but how big timeout we should use?