enforcing minimum editor+console window height
Merge pull request #9 from e45lee/ui-changes

Frontend changes for project listing inline + bugfixes.
Merge pull request #10 from e45lee/ui-changes

[frontend] Fix typo.