More fixes for json editor
- 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)