Change more icon in plugins
Fix deps
Fix Ace themes
Fix search / file system
import css for buttons
Add path utilities
Fix ajax.js
Fix the modal
Fix the memo scroll (git merge random?)
Merge pull request #677 from typesafehub/wip/fix-sbt-server-merge

Wip/fix sbt server merge