Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -721,11 +721,11 @@ with gr.Blocks(css=css) as demo:
|
|
721 |
selected = gr.Number(elem_id="fnum", value=0, minimum=0, maximum=256, interactive=False)
|
722 |
output_frame.select(fn=select_frame, inputs=[output_mask], outputs=[output_mask, selected])
|
723 |
example_coords = """[
|
724 |
-
{
|
725 |
-
{
|
726 |
-
{
|
727 |
-
{
|
728 |
-
{
|
729 |
]"""
|
730 |
coords = gr.JSON(elem_id="coords", value=example_coords, label="Precise coordinates", show_label=False)
|
731 |
|
@@ -853,16 +853,14 @@ with gr.Blocks(css=css) as demo:
|
|
853 |
if not coordinates:
|
854 |
locations = json.loads(example_coords)
|
855 |
for k, location in enumerate(locations):
|
856 |
-
locations[k] = location["latLng"]
|
857 |
avg[0] = avg[0] + locations[k]["lat"]
|
858 |
avg[1] = avg[1] + locations[k]["lng"]
|
859 |
else:
|
860 |
locations = json.loads(coordinates)
|
861 |
for k, location in enumerate(locations):
|
862 |
-
print(locations[k]["tiles"]["originHeading"])
|
863 |
-
print(locations[k]["tiles"]["originPitch"])
|
864 |
heading = locations[k]["tiles"]["originHeading"]
|
865 |
pitch = locations[k]["tiles"]["originPitch"]
|
|
|
866 |
locations[k] = locations[k]["location"]["latLng"]
|
867 |
locations[k]["heading"] = heading
|
868 |
locations[k]["pitch"] = pitch
|
|
|
721 |
selected = gr.Number(elem_id="fnum", value=0, minimum=0, maximum=256, interactive=False)
|
722 |
output_frame.select(fn=select_frame, inputs=[output_mask], outputs=[output_mask, selected])
|
723 |
example_coords = """[
|
724 |
+
{'lat': -2.0593128411405814e-06, 'lng': 7.138250595062345e-07, 'heading': 152.70303, 'pitch': 2.607833999999997},
|
725 |
+
{'lat': 1.5397763348801163e-06, 'lng': 1.3651150112536925e-06, 'heading': 151.12973, 'pitch': 2.8672300000000064},
|
726 |
+
{'lat': -2.1552188087525792e-05, 'lng': 1.5591533522041345e-05, 'heading': 151.41025, 'pitch': 3.4802200000000028},
|
727 |
+
{'lat': -3.0588534016828817e-06, 'lng': 3.549113042566887e-06, 'heading': 151.93391, 'pitch': 2.843050000000005},
|
728 |
+
{'lat': 2.513057799546914e-05, 'lng': -2.1219586638920873e-05, 'heading': 152.95769, 'pitch': 4.233024999999998}
|
729 |
]"""
|
730 |
coords = gr.JSON(elem_id="coords", value=example_coords, label="Precise coordinates", show_label=False)
|
731 |
|
|
|
853 |
if not coordinates:
|
854 |
locations = json.loads(example_coords)
|
855 |
for k, location in enumerate(locations):
|
|
|
856 |
avg[0] = avg[0] + locations[k]["lat"]
|
857 |
avg[1] = avg[1] + locations[k]["lng"]
|
858 |
else:
|
859 |
locations = json.loads(coordinates)
|
860 |
for k, location in enumerate(locations):
|
|
|
|
|
861 |
heading = locations[k]["tiles"]["originHeading"]
|
862 |
pitch = locations[k]["tiles"]["originPitch"]
|
863 |
+
|
864 |
locations[k] = locations[k]["location"]["latLng"]
|
865 |
locations[k]["heading"] = heading
|
866 |
locations[k]["pitch"] = pitch
|