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
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?
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