Community
Participate
Working Groups
20021127 maybe it could be improved, maybe it's not necessary, or maybe it could be postponed until after the first launch (?)
Created attachment 2619 [details] updating launch history tooltip on startup
I can't find the bug report now, this is fixed. The time here was really the time to initialize the preferences to add a listener. I removed the preference listener.