Spaces:
Running
Running
File size: 7,138 Bytes
7ef6f2b 1dcc163 7ef6f2b 1dcc163 7ef6f2b 1dcc163 7ef6f2b |
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 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 |
import os
from typing import Optional
import streamlit as st
def _get_audio_dir() -> str:
return os.path.join(os.path.dirname(__file__), "assets", "audio")
def get_audio_tracks() -> list[tuple[str, str]]:
"""Return list of (label, absolute_path) for .mp3 files in assets/audio."""
audio_dir = _get_audio_dir()
if not os.path.isdir(audio_dir):
return []
# Only include .mp3 files, ignore .wav files
tracks = []
for fname in os.listdir(audio_dir):
if fname.lower().endswith('.mp3'):
path = os.path.join(audio_dir, fname)
# Use the filename without extension as the display name
name = os.path.splitext(fname)[0]
tracks.append((name, path))
return tracks
@st.cache_data(show_spinner=False)
def _load_audio_data_url(path: str) -> str:
"""Return a data: URL for the given audio file so the browser can play it."""
import base64, mimetypes
mime, _ = mimetypes.guess_type(path)
if not mime:
# Default to mp3 to avoid blocked playback if unknown
mime = "audio/mpeg"
with open(path, "rb") as fp:
encoded = base64.b64encode(fp.read()).decode("ascii")
return f"data:{mime};base64,{encoded}"
def _mount_background_audio(enabled: bool, src_data_url: Optional[str], volume: float) -> None:
"""Create/update a single hidden <audio> element in the top page and play/pause it."""
from streamlit.components.v1 import html as _html
if not enabled or not src_data_url:
_html(
"""
<script>
(function(){
const doc = window.parent?.document || document;
const el = doc.getElementById('bw-bg-audio');
if (el) { try { el.pause(); } catch(e){} }
})();
</script>
""",
height=0,
)
return
# Clamp volume
vol = max(0.0, min(1.0, float(volume)))
# Inject or update a single persistent audio element and make sure it starts after interaction if autoplay is blocked
_html(
f"""
<script>
(function(){{
const doc = window.parent?.document || document;
let audio = doc.getElementById('bw-bg-audio');
if (!audio) {{
audio = doc.createElement('audio');
audio.id = 'bw-bg-audio';
audio.style.display = 'none';
audio.setAttribute('loop', '');
audio.setAttribute('autoplay', '');
doc.body.appendChild(audio);
}}
const newSrc = "{src_data_url}";
if (audio.src !== newSrc) {{
audio.src = newSrc;
}}
audio.muted = false;
audio.volume = {vol:.3f};
const tryPlay = () => {{
const p = audio.play();
if (p && p.catch) {{ p.catch(() => {{ /* ignore autoplay block until user gesture */ }}); }}
}};
tryPlay();
const unlock = () => {{
tryPlay();
}};
// Add once-only listeners to resume playback after first user interaction
doc.addEventListener('pointerdown', unlock, {{ once: true }});
doc.addEventListener('keydown', unlock, {{ once: true }});
doc.addEventListener('touchstart', unlock, {{ once: true }});
}})();
</script>
""",
height=0,
)
def _inject_audio_control_sync():
"""Inject JS to sync volume and enable/disable state immediately."""
from streamlit.components.v1 import html as _html
_html(
'''
<script>
(function(){
const doc = window.parent?.document || document;
const audio = doc.getElementById('bw-bg-audio');
if (!audio) return;
// Get values from Streamlit DOM
const volInput = doc.querySelector('input[type="range"][aria-label="Volume"]');
const enableInput = doc.querySelector('input[type="checkbox"][aria-label="Enable music"]');
if (volInput) {
volInput.addEventListener('input', function(){
audio.volume = parseFloat(this.value)/100;
});
// Set initial volume
audio.volume = parseFloat(volInput.value)/100;
}
if (enableInput) {
enableInput.addEventListener('change', function(){
if (this.checked) {
audio.muted = false;
audio.play().catch(()=>{});
} else {
audio.muted = true;
audio.pause();
}
});
// Set initial mute state
if (enableInput.checked) {
audio.muted = false;
audio.play().catch(()=>{});
} else {
audio.muted = true;
audio.pause();
}
}
})();
</script>
''',
height=0,
)
# Sound effects functionality
def get_sound_effect_files() -> dict[str, str]:
"""
Return dictionary of sound effect name -> absolute path.
Prefers .mp3 files; falls back to .wav if no .mp3 is found.
"""
audio_dir = _get_audio_dir()
if not os.path.isdir(audio_dir):
return {}
effect_names = [
"correct_guess",
"incorrect_guess",
"hit",
"miss",
"congratulations",
]
def _find_effect_file(base: str) -> Optional[str]:
# Prefer mp3, then wav for backward compatibility
for ext in (".mp3", ".wav"):
path = os.path.join(audio_dir, f"{base}{ext}")
if os.path.exists(path):
return path
return None
result: dict[str, str] = {}
for name in effect_names:
path = _find_effect_file(name)
if path:
result[name] = path
return result
def play_sound_effect(effect_name: str, volume: float = 0.5) -> None:
"""
Play a sound effect by name.
Args:
effect_name: One of 'correct_guess', 'incorrect_guess', 'hit', 'miss', 'congratulations'
volume: Volume level (0.0 to 1.0)
"""
from streamlit.components.v1 import html as _html
sound_files = get_sound_effect_files()
if effect_name not in sound_files:
return # Sound file doesn't exist, silently skip
sound_path = sound_files[effect_name]
sound_data_url = _load_audio_data_url(sound_path)
# Clamp volume
vol = max(0.0, min(1.0, float(volume)))
# Play sound effect using a unique audio element
_html(
f"""
<script>
(function(){{
const doc = window.parent?.document || document;
const audio = doc.createElement('audio');
audio.src = "{sound_data_url}";
audio.volume = {vol:.3f};
audio.style.display = 'none';
doc.body.appendChild(audio);
// Play and remove after playback
audio.play().catch(e => console.error('Sound effect play error:', e));
audio.addEventListener('ended', () => {{
doc.body.removeChild(audio);
}});
}})();
</script>
""",
height=0,
) |