Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add height param to gr.JSON #9023

Merged
merged 29 commits into from
Aug 13, 2024
Merged
Changes from 1 commit
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
560cec8
add height param and styles
hannahblair Aug 6, 2024
7274688
use lines instead of height
hannahblair Aug 6, 2024
e22c4ee
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 6, 2024
761b1c1
replace height with lines
hannahblair Aug 6, 2024
f73a37a
add param and add description to gr.code
hannahblair Aug 6, 2024
aaaa45d
add title attr
hannahblair Aug 6, 2024
39285b8
remove styling
hannahblair Aug 6, 2024
073b7eb
Merge branch 'main' into json-height-param
hannahblair Aug 6, 2024
f10df53
format
hannahblair Aug 6, 2024
8c76626
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 6, 2024
d67c72e
fix test
hannahblair Aug 6, 2024
f8f9862
Merge branch 'main' into json-height-param
pngwn Aug 7, 2024
a318955
add changeset
gradio-pr-bot Aug 7, 2024
7baf3ea
revert to height
hannahblair Aug 12, 2024
3ffd33e
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 12, 2024
a92dfcb
remove lines logic
hannahblair Aug 12, 2024
f8cecc7
add changeset
gradio-pr-bot Aug 12, 2024
dc2f849
code param tweak
hannahblair Aug 12, 2024
cb4ab2e
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 12, 2024
90f110c
remove redundant code
hannahblair Aug 12, 2024
6d938b3
tweak test
hannahblair Aug 12, 2024
01ed897
Merge branch 'main' into json-height-param
hannahblair Aug 12, 2024
40742e3
revert onDestroy removal
hannahblair Aug 12, 2024
4516acf
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 12, 2024
391382e
fix test
hannahblair Aug 12, 2024
317e3af
tweak
hannahblair Aug 12, 2024
be36201
docstring
abidlabs Aug 12, 2024
112f9af
height fix
hannahblair Aug 13, 2024
6f28d39
Merge branch 'json-height-param' of https://github.com/gradio-app/gra…
hannahblair Aug 13, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
code param tweak
  • Loading branch information
hannahblair committed Aug 12, 2024
commit dc2f849277bf086171c06b053cdbf3d93efba1cf
2 changes: 1 addition & 1 deletion gradio/components/code.py
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,7 @@ def __init__(
elem_classes: An optional list of strings that are assigned as the classes of this component in the HTML DOM. Can be used for targeting CSS styles.
render: If False, component will not render be rendered in the Blocks context. Should be used if the intention is to assign event listeners now but render the component later.
key: if assigned, will be used to assume identity across a re-render. Components that have the same key across a re-render will have their value preserved.
lines: Maximum number of visible lines to show in the code editor. Overflow will be scrollable.
lines: Minimum number of visible lines to show in the code editor.
"""
if language not in Code.languages:
raise ValueError(f"Language {language} not supported.")
Expand Down