I attached a screenshot for how I have my Sidekick options set.In the "Code Completion Options" box, you have to enable "Show completion popups where possible" .
In the field "Accept characters for completion popup", you might want to change it back to "\ \n\t".
--James On 11/28/2011 9:58 PM, Christian STERNAGEL wrote:
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?cheers chris
Description: PNG image