Re: [isabelle] Isabelle2013-1-RC4 available for testing


I could reproduce this also on OS X 10.9 but had to try really hard. Same on Ubuntu 12.04

One observation:
I also reproduced this programmatically and observed that keys only get lost not when the popup opens but after the point where the next possible character is the same for the remaining possible keywords that is the "_" in find_theorems or the "t" in print_theorems. Maybe the problem is not with the popup itself?

Best Benedikt

Am 08.11.13 15:46, schrieb Makarius:
I would like to raise attention to the following timing problem with keyboard events vs. completion popup focus:

Is Joachim Breitner just very fast in typing, or did other people experience the same?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.