Update app.py
Browse files
app.py
CHANGED
@@ -506,8 +506,11 @@ with st.sidebar:
|
|
506 |
auto_bold_numbers = st.checkbox("Auto Bold Numbered Lines", value=True, key="auto_bold_numbers")
|
507 |
enlarge_numbered = st.checkbox("Enlarge Font Size for Numbered Lines", value=True, key="enlarge_numbered")
|
508 |
add_space_before_numbered = st.checkbox("Add Space Ahead of Numbered Lines", value=False, key="add_space_before_numbered")
|
|
|
|
|
509 |
headings_to_fonts = st.checkbox("Headings to Fonts", value=False, key="headings_to_fonts",
|
510 |
help="Convert Markdown headings (# Heading) and emphasis (*word*) to appropriate font styles")
|
|
|
511 |
auto_columns = st.checkbox("AutoColumns", value=False, key="auto_columns")
|
512 |
|
513 |
if auto_columns and 'markdown_content' in st.session_state:
|
|
|
506 |
auto_bold_numbers = st.checkbox("Auto Bold Numbered Lines", value=True, key="auto_bold_numbers")
|
507 |
enlarge_numbered = st.checkbox("Enlarge Font Size for Numbered Lines", value=True, key="enlarge_numbered")
|
508 |
add_space_before_numbered = st.checkbox("Add Space Ahead of Numbered Lines", value=False, key="add_space_before_numbered")
|
509 |
+
|
510 |
+
# Here we use a font that has more emojis
|
511 |
headings_to_fonts = st.checkbox("Headings to Fonts", value=False, key="headings_to_fonts",
|
512 |
help="Convert Markdown headings (# Heading) and emphasis (*word*) to appropriate font styles")
|
513 |
+
|
514 |
auto_columns = st.checkbox("AutoColumns", value=False, key="auto_columns")
|
515 |
|
516 |
if auto_columns and 'markdown_content' in st.session_state:
|