chanicpanic commited on
Commit
c88ad69
·
1 Parent(s): 80a676e

Add Grascii help text

Browse files
Files changed (1) hide show
  1. search.py +1 -0
search.py CHANGED
@@ -51,6 +51,7 @@ def write_grascii_search():
51
  value=st.session_state["grascii"],
52
  key="grascii_text_box",
53
  max_chars=MAX_GRASCII_LENGTH,
 
54
  )
55
  else:
56
  with placeholder.container():
 
51
  value=st.session_state["grascii"],
52
  key="grascii_text_box",
53
  max_chars=MAX_GRASCII_LENGTH,
54
+ help="[Grascii Language Reference](https://grascii.readthedocs.io/en/stable/language.html)",
55
  )
56
  else:
57
  with placeholder.container():