Code Editor : ui.dbfilter-editing.js