Re: [isabelle] jedit special symbols

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".


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?



Attachment: sidekickOptions.png
Description: PNG image

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