Re: [isabelle] Isabelle2013-1-RC4 available for testing
I also experienced that popups swallow characters, and it happens with all characters, not
just underscores. For me, it most likely happens when Isabelle works a lot in the
background. My system parameters: standard 12.04 LTS Ubuntu Linux.
On 08/11/13 15:46, Makarius wrote:
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