Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -432,7 +432,9 @@ with gr.Blocks(css=css) as demo:
|
|
432 |
output_mask = gr.ImageEditor(layers=True, sources=None, type="numpy", interactive=True, transforms=(None,), eraser=gr.Eraser(), brush=gr.Brush(default_size=0, colors=['black', '#505050', '#a0a0a0', 'white']), elem_id="image_edit")
|
433 |
ksize = gr.Slider(label="Kernel", value=128, minimum=0, maximum=1024, step=1)
|
434 |
threshold = gr.Slider(label="Threshold", value=128, minimum=0, maximum=255, step=1)
|
435 |
-
selector = gr.HTML(value="""<
|
|
|
|
|
436 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].oncontextmenu = function(e){e.preventDefault();}
|
437 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].ondrag = function(e){e.preventDefault();}
|
438 |
|
@@ -448,10 +450,16 @@ with gr.Blocks(css=css) as demo:
|
|
448 |
var evt = document.createEvent(\"Event\");
|
449 |
evt.initEvent(\"input\", true, false);
|
450 |
document.getElementById(\"mouse\").getElementsByTagName(\"textarea\")[0].dispatchEvent(evt);
|
|
|
|
|
|
|
451 |
}
|
452 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].onpointermove = function(e) {
|
453 |
document.getElementById(\"mouse\").getElementsByTagName(\"textarea\")[0].value = \"[]\";
|
454 |
-
|
|
|
|
|
|
|
455 |
mouse = gr.Textbox(elem_id="mouse", value="""[]""", interactive=False)
|
456 |
output_mask.apply(fn=draw_mask, inputs=[ksize, threshold, mouse, output_mask], outputs=[output_mask])
|
457 |
submit = gr.Button("Submit")
|
|
|
432 |
output_mask = gr.ImageEditor(layers=True, sources=None, type="numpy", interactive=True, transforms=(None,), eraser=gr.Eraser(), brush=gr.Brush(default_size=0, colors=['black', '#505050', '#a0a0a0', 'white']), elem_id="image_edit")
|
433 |
ksize = gr.Slider(label="Kernel", value=128, minimum=0, maximum=1024, step=1)
|
434 |
threshold = gr.Slider(label="Threshold", value=128, minimum=0, maximum=255, step=1)
|
435 |
+
selector = gr.HTML(value="""<div id='select_cursor' style='width:1px;height:1px;position:absolute;border:1px dotted #ffffff;'></div>
|
436 |
+
<a href='#' id='selector' onclick='this.style.fontWeight=\"bold\";
|
437 |
+
document.body.appendChild(document.getElementById(\"select_cursor\"));
|
438 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].oncontextmenu = function(e){e.preventDefault();}
|
439 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].ondrag = function(e){e.preventDefault();}
|
440 |
|
|
|
450 |
var evt = document.createEvent(\"Event\");
|
451 |
evt.initEvent(\"input\", true, false);
|
452 |
document.getElementById(\"mouse\").getElementsByTagName(\"textarea\")[0].dispatchEvent(evt);
|
453 |
+
|
454 |
+
document.getElementById(\"select_cursor\").style.left = e.clientX;
|
455 |
+
document.getElementById(\"select_cursor\").style.top = e.clientY;
|
456 |
}
|
457 |
document.getElementById(\"image_edit\").getElementsByTagName(\"canvas\")[0].onpointermove = function(e) {
|
458 |
document.getElementById(\"mouse\").getElementsByTagName(\"textarea\")[0].value = \"[]\";
|
459 |
+
|
460 |
+
document.getElementById(\"select_cursor\").style.left = 0;
|
461 |
+
document.getElementById(\"select_cursor\").style.top = 0;
|
462 |
+
}' title='select' style='text-decoration:none;color:white;'>⬚ Select polygon</a>""")
|
463 |
mouse = gr.Textbox(elem_id="mouse", value="""[]""", interactive=False)
|
464 |
output_mask.apply(fn=draw_mask, inputs=[ksize, threshold, mouse, output_mask], outputs=[output_mask])
|
465 |
submit = gr.Button("Submit")
|