The best I can think of is to create a button or instructions at the top to click to either lure the user away from using the stop from the menu or instructing them how to properly refresh if they did click Stop.
Here is a thread about hiding that menu (by also hiding the header where the Running and Stop messages post, effectively taking the option away (though a user could circumvent it). Here’s the quick answer, but there are other solutions in the thread: How do i hide/ remove the menu in production? - #22 by snehankekre
You may be interested in GitHub Feature requests to customize that menu or hide it simply by command:
opened 01:19AM - 14 Oct 19 UTC
type:enhancement
area:layout
area:ux/ui
feature:hamburger-menu
feature:config
See: https://discuss.streamlit.io/t/how-do-i-hide-remove-the-menu-in-production/… 362
When developing a Streamlit app, the hamburger menu is quite useful. But afterwards, it has almost no use. Should we just remove it when in "serving to end-users" mode?
This could be part of a larger "serving mode" idea: when developing a Streamlit app you'd use `streamlit run myname.py` as usual, but when serving it to users you'd use `streamlit serve myname.py`.
The latter would start the app normally except:
1. The hamburger menu have fewer items (or maybe it wouldn't be there at all, as proposed in this bug)
2. Streamlit would not watch your filesystem for changes
3. Probably some other stuff :D
---
Community voting on feature requests enables the Streamlit team to understand which features are most important to our users.
**If you'd like the Streamlit team to prioritize this feature request, please use the 👍 (thumbs up emoji) reaction in response to the initial post.**
opened 01:24AM - 14 Oct 19 UTC
type:enhancement
feature:hamburger-menu
Related issue: https://github.com/streamlit/streamlit/issues/395
Some users w… ould like to add items to the hamburger menu. To support this we'd have to think more deeply about the API for that. For example, would something like this be good enough for real-world use:
```python
clicked_menu_item = st.menu_items(['Item 1', 'Item 2', 'Item 3'])
if clicked_menu_item == 'Item 1':
do_stuff()
elif clicked_menu_item == 'Item 1':
etc etc
```
What this would do: it would add "Item 1", "Item 2", and "Item 3" at the top of the hamburger menu, followed by a separator. All items that Streamlit puts in there would go below the separator.
(And if we implement the ability to [hide the menu](Related thread: https://discuss.streamlit.io/t/how-do-i-hide-remove-the-menu-in-production/362/3), when hidden only the Streamlit items would disappear.)
---
Community voting on feature requests enables the Streamlit team to understand which features are most important to our users.
**If you'd like the Streamlit team to prioritize this feature request, please use the 👍 (thumbs up emoji) reaction in response to the initial post.**