Spaces:
Build error
Build error
| 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() | |