v0.3.9

• Input method:
  • Candidate symbols
  • Deactivate and left the text-buffer as-is when a user types return ('enter')
• Fix #21

v0.3.8

• Better type info presentation
• Fix #20

v0.3.7

Now we can invoke input method and type unicode symbols in the input box

v0.3.6

Fix goal parsing

v0.3.5

• Fix when ctrl-c ctrl-w failed to query current goal
• Jump to a goal by clicking on it's index
• Postpone package activation until agda-mode:load for better editor startup time

v0.3.4

• View System rewritten with Vue, to prevent memory leaks in v0.3.3

v0.3.3

• Input method: key suggestions now are clickable buttons.

v0.3.2

• Supports command Ctrl-c Ctrl-w why in scope.
• Fix when sometimes input box won't show.
• Now we can select and copy texts in the panel.
• Better input method suggestion looking.

v0.3.1

• Supports 3 different levels of normalization (simple, none, full). (#17)

v0.3.0

• Nothing big really, just a new number.
• Enable unsolvedmeta and terminationproblem highlight. (#7)
• Use colours given by user installed syntax.
• Fixed #18