File size: 1,086 Bytes
2f87aad
581fadf
 
 
2f87aad
 
 
 
 
 
 
 
 
 
 
 
581fadf
2f87aad
 
 
 
 
 
 
 
 
 
 
 
 
 
 
6f0e32c
2f87aad
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
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()