Add height param to gr.JSON (#9023)
* add height param and styles
* use lines instead of height
* replace height with lines
* add param and add description to gr.code
* add title attr
* remove styling
* format
* fix test
* add changeset
* revert to height
* remove lines logic
* add changeset
* code param tweak
* remove redundant code
* tweak test
* revert onDestroy removal
* fix test
* tweak
* docstring
* height fix
---------
Co-authored-by: pngwn <hello@pngwn.io>
Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com>
Co-authored-by: Abubakar Abid <abubakar@huggingface.co>
