robmcmullen/peppy — Issue #660: Speed up the time it takes to change tabs
Author: robmcmullen
Created: 2012-02-21 06:03:27+00:00
State: open
Labels: multikey

*[Trac time 20090519 230612Z]* Changing tabs takes almost a second on my linux box. Some debug printing shows that the menu creation seems to take the bulk of the time.