Increase image size
Browse files
app.py
CHANGED
@@ -149,6 +149,8 @@ def gradio_interface():
|
|
149 |
|
150 |
with gr.Tabs() as tabs:
|
151 |
with gr.Tab("⚔️ Arena (battle)", id=0):
|
|
|
|
|
152 |
notice_markdown = gr.Markdown(get_notice_markdown(), elem_id="notice_markdown")
|
153 |
with gr.Row(equal_height=True):
|
154 |
def on_enter_contest(username):
|
@@ -190,25 +192,26 @@ def gradio_interface():
|
|
190 |
|
191 |
# Compute the absolute difference between the masks
|
192 |
mask_difference = compute_mask_difference(segmented_a, segmented_b)
|
|
|
193 |
|
194 |
with gr.Row():
|
195 |
image_a_display = gr.Image(
|
196 |
value=segmented_a,
|
197 |
label="Image",
|
198 |
-
width=
|
199 |
-
height=
|
200 |
)
|
201 |
input_image_display = gr.AnnotatedImage(
|
202 |
value=(input_image, [(mask_difference > 0, button_name)]),
|
203 |
label="Input Image",
|
204 |
-
width=
|
205 |
-
height=
|
206 |
)
|
207 |
image_b_display = gr.Image(
|
208 |
value=segmented_b,
|
209 |
label="Image",
|
210 |
-
width=
|
211 |
-
height=
|
212 |
)
|
213 |
state_tie = gr.State("Tie")
|
214 |
with gr.Row():
|
@@ -293,8 +296,8 @@ def gradio_interface():
|
|
293 |
return gr.Image(
|
294 |
value=segmented_image,
|
295 |
label="Image",
|
296 |
-
width=
|
297 |
-
height=
|
298 |
), False
|
299 |
|
300 |
start_row, start_col = event.index[1], event.index[0]
|
|
|
149 |
|
150 |
with gr.Tabs() as tabs:
|
151 |
with gr.Tab("⚔️ Arena (battle)", id=0):
|
152 |
+
image_width = 800
|
153 |
+
image_height = 800
|
154 |
notice_markdown = gr.Markdown(get_notice_markdown(), elem_id="notice_markdown")
|
155 |
with gr.Row(equal_height=True):
|
156 |
def on_enter_contest(username):
|
|
|
192 |
|
193 |
# Compute the absolute difference between the masks
|
194 |
mask_difference = compute_mask_difference(segmented_a, segmented_b)
|
195 |
+
|
196 |
|
197 |
with gr.Row():
|
198 |
image_a_display = gr.Image(
|
199 |
value=segmented_a,
|
200 |
label="Image",
|
201 |
+
width=image_width,
|
202 |
+
height=image_height
|
203 |
)
|
204 |
input_image_display = gr.AnnotatedImage(
|
205 |
value=(input_image, [(mask_difference > 0, button_name)]),
|
206 |
label="Input Image",
|
207 |
+
width=image_width,
|
208 |
+
height=image_height
|
209 |
)
|
210 |
image_b_display = gr.Image(
|
211 |
value=segmented_b,
|
212 |
label="Image",
|
213 |
+
width=image_width,
|
214 |
+
height=image_height
|
215 |
)
|
216 |
state_tie = gr.State("Tie")
|
217 |
with gr.Row():
|
|
|
296 |
return gr.Image(
|
297 |
value=segmented_image,
|
298 |
label="Image",
|
299 |
+
width=image_width,
|
300 |
+
height=image_height
|
301 |
), False
|
302 |
|
303 |
start_row, start_col = event.index[1], event.index[0]
|