ui.js: Add an inline editor.