Source code reproducing what I suspect to be a bug in the Sencha Touch 2.3.1 framework