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
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
Fix according to Michael comments
table_create_soft_durability (c.f. Issue #670)
Fix easy things in review 391
Change the behavior or ctrl+space. Related to #647 and #584
Improve a comment
Merge michel_647_toggle_options
changed 0 to NULL