Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -132,7 +132,7 @@ def show_sidebar_history():
|
|
132 |
if st.sidebar.button("๐งน Delete All (except README.md)"):
|
133 |
deleted_count = delete_all_md_files()
|
134 |
st.sidebar.success(f"Deleted {deleted_count} markdown files")
|
135 |
-
st.
|
136 |
|
137 |
for md_file in st.session_state.md_files_history:
|
138 |
col1, col2, col3 = st.sidebar.columns([2, 1, 1])
|
@@ -146,7 +146,7 @@ def show_sidebar_history():
|
|
146 |
st.session_state.file_data[md_file['filename']] = content
|
147 |
st.session_state.file_types[md_file['filename']] = "md"
|
148 |
st.session_state.md_outline[md_file['filename']] = parse_markdown_outline(content)
|
149 |
-
st.
|
150 |
|
151 |
with col3:
|
152 |
download_link = get_binary_file_downloader_html(
|
@@ -202,7 +202,7 @@ def show_markdown_versions(filename):
|
|
202 |
st.session_state.file_data[filename] = decoded_content
|
203 |
st.session_state.md_outline[filename] = parse_markdown_outline(decoded_content)
|
204 |
add_to_history(filename, decoded_content, "restored")
|
205 |
-
st.
|
206 |
|
207 |
# ๐บ๏ธ Map Maker - Creating a beautiful outline of our markdown
|
208 |
def parse_markdown_outline(content):
|
|
|
132 |
if st.sidebar.button("๐งน Delete All (except README.md)"):
|
133 |
deleted_count = delete_all_md_files()
|
134 |
st.sidebar.success(f"Deleted {deleted_count} markdown files")
|
135 |
+
st.rerun()
|
136 |
|
137 |
for md_file in st.session_state.md_files_history:
|
138 |
col1, col2, col3 = st.sidebar.columns([2, 1, 1])
|
|
|
146 |
st.session_state.file_data[md_file['filename']] = content
|
147 |
st.session_state.file_types[md_file['filename']] = "md"
|
148 |
st.session_state.md_outline[md_file['filename']] = parse_markdown_outline(content)
|
149 |
+
st.rerun()
|
150 |
|
151 |
with col3:
|
152 |
download_link = get_binary_file_downloader_html(
|
|
|
202 |
st.session_state.file_data[filename] = decoded_content
|
203 |
st.session_state.md_outline[filename] = parse_markdown_outline(decoded_content)
|
204 |
add_to_history(filename, decoded_content, "restored")
|
205 |
+
st.rerun()
|
206 |
|
207 |
# ๐บ๏ธ Map Maker - Creating a beautiful outline of our markdown
|
208 |
def parse_markdown_outline(content):
|