More fixes for json editor (!1919) · Merge requests · nexedi / erp5 · GitLab

The source project of this merge request has been removed.

Rafael Monnerat requested to merge (removed):more-json-editor-fixes-20240416 into master Apr 16, 2024

const is handled as enum with a single value automatically
patch ensureArraySize to not modify the user input, let the user safely slice by himself.
Reorganise patches so it is grouped by prototype
Improve a bit css for buttons (borders and radius)