Fix jittery text editing in the embedded editor.
Options UI for context menu enable/disable.
Minor information provision.
Add context menu item.
Enabling/Disabling options now works.
Fix context menu entries in domain listing.
Mild re-styling of settings view.
v0.4