On Fri, Dec 12, 2008 at 12:34:18PM -0800, Edward Cherlin wrote: >On Fri, Dec 12, 2008 at 12:22 PM, Michael Stone <mich...@laptop.org> wrote: >> On Fri, Dec 12, 2008 at 11:52:54AM -0800, Edward Cherlin wrote: >> http://dev.laptop.org/ticket/4268 > >That's a lost cursor bug. I assume you meant some other one.
Yes, http://dev.laptop.org/ticket/4286, thanks. Sorry for the confusion, Michael _______________________________________________ Devel mailing list Devel@lists.laptop.org http://lists.laptop.org/listinfo/devel