When closing the window, disconnect instead of asking the user to do it
Ask confirmation before closing if user has unsent input
Merge pull request #432 from glowing-bear/disconnect-when-closing

When closing the window, disconnect instead of asking the user to do it
fixup font-family and font-size setting glitches

Replace fontSize placeholder by default value. Placeholders should be used
as suggestions, not effective values.

Remove spurious default value for fontFamily (it is defined right below)
Merge pull request #433 from glowing-bear/fix-font-size-glitch

fixup font-family and font-size setting glitches
Don't capitalise host name

Fixes #439
Merge pull request #441 from glowing-bear/connection-form

Don't capitalise host name
Use minified javascript files