Re: [isabelle] Isabelle2015-RC0 available for testing

On 16.04.2015 08:41, Lars Noschinski wrote:
> I have occasionally problems with hovering, in the sense that popups do
> not appear (at least not in a reasonable amount of time). I have not
> been able to discern a pattern, so here are some observations:
> [...]
> I had this behaviour with 2015-RC0 in an almost standard configuration
> (smaller fontsize and a few additional keybindings)
on a Debian testing with a standard Gnome 3.14.

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