Spaces:
Running
Running
import streamlit as st | |
import logging | |
from datasets import disable_caching | |
disable_caching() | |
st.set_page_config( | |
page_title="About", | |
page_icon="π", | |
layout="wide", | |
) | |
from maps.obs_map import add_obs_map_header | |
from maps.alps_map import present_alps_map | |
from maps.obs_map import present_obs_map | |
############################################################ | |
g_logger = logging.getLogger(__name__) | |
USE_BASIC_MAP = False | |
DEV_SIDEBAR_LIB = True | |
############################################################ | |
# visual structure: a couple of toggles at the top, then the map inlcuding a | |
# dropdown for tileset selection. | |
add_obs_map_header() | |
tab_map_ui_cols = st.columns(2) | |
with tab_map_ui_cols[0]: | |
show_db_points = st.toggle("Show Points from DB", True) | |
with tab_map_ui_cols[1]: | |
dbg_show_extra = st.toggle("Show Extra points (test)", False) | |
if show_db_points: | |
# show a nicer map, observations marked, tileset selectable. | |
st_observation = present_obs_map(dbg_show_extra=dbg_show_extra) | |
else: | |
# development map. | |
st_observation = present_alps_map() | |