fix check state not being saved so we lost on scroll
remove ant script
fix crash on double click on InfoManagerDialog button
invert display of completions in quick add to have the most used near the text field
fix crash
bump to 0.9.3
Merge branch 'hotfix/0.9.3'