Hi all,I seem to be unable to find out how to enable nice symbols in jedit (in Isabelle2011-1). Where the popups with selection possibilities disabled by default, or is their absence a problem of my installation (maybe java)? I was used to type e.g. "=" followed by ">" and then get a box where I could choose the nice Rightarrow. This no longer happens. Any ideas?