Options are available. We still need to use them
Make the option for electric punctuation works
Roughly desactivate suggestions
Complete options
Electric punctuation is by default turned off. Related to #584 and #647
Fix issue with ESC/Tab behavior. Related to #584 and #647
Move checkbox to the left. Related to #584
Toggle option available on the whole box. Related to #584 and #647
Options are darker on mouse over. Related to #8584 and #647
Remove shortcute ctrl+space bound on window. Related to #584 and #647
Change behavior of tab. See #647 and #584
Made global optargs actually propagate to the shards properly (cf. Issue #683).
Merge branch 'v1.4.x' of github.com:rethinkdb/rethinkdb into v1.4.x
Added nonempty assertion to batched_replaces_t constructor.
Added guarantee that an empty batched write is not created in rdb_w_shard_visitor_t.  This guarantee fails.
Merge branch 'next' into sam_665
Removed .shard of the write in listener_t<>::perform_enqueued_write.

Either the change is correct, or the code was already broken.
Assertions in both the memcached and rdb_protocol write_t::shard
methods would make the code crash if the shard call could ever receive
a subset of the write's region.  The .shard call in listener.cc was
added as part of a larger change to a bunch of stuff that got things
working, not for specific discernable reason.  And it would be
obviously broken if it ever actually _did_ affect the value of the
write being passed on to the store.
Change the way we switch from history to options. Related to #647 and #584
Clean code, fix bug, refactor a little. Related to #647 and #584
adds JS timeout option