search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Better content assist #59

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Make content assist more flexible: suggest symbols/keywords from when the user starts typing, not after the fact.

andriusvelykis commented 11 years ago

Implemented in 9115051eb58e71487cf74de08ee78ff2c9f77178

Now content assist works for single-symbol text entry, e.g. \ is enough to get completion proposals. Also, now abbreviations also provide all possible matches (see screenshot below). The suggestions from abbreviations and words are joined.

Content assist list is automatically opened when \ character is typed as well as when one of abbreviation characters is entered.

In addition to this, added an auto-edit strategy that decodes Isabelle symbols (e.g. \<forall>) automatically after the following whitespace, or when new text is pasted into the editor.

content-assist-abbrev