add pub run to git clone and open folder
Support `animation="none"` in spark-overlay
Use `animation="none"` to tempoarily mask the issue with blurry fonts on menu opening
Fix broken opening/closing sequence for animation="none" (menu became invisible, but was still accepting clicks)
Fix the comments
Added collapseDups() and trimEnds()
Merge pull request #1950 from ussuri/add-utility-functions

Added collapseDups() and trimEnds()
flat buttons (fixed #1892)
Fix bug in git index for adding new folders.
Update index correctly on a commit.
Improved behavior of filter field (fixed #1928)
new UI style for outline
Merge pull request #1954 from dinhviethoa/outline-new-ui

new UI style for outline
Big bug in comparing sha values in git merge.
Fix bug in smartCheckout.
Don't show progress indicator when showing a temporary message (fixed #1943)
Fixed #1773: added shortcut for outline
Fixed shortcut
Merge pull request #1956 from dinhviethoa/1773-outline-shortcut

added shortcut for outline
Fixed behavior of Begin and End keys on Mac