Run clean-up code after user clicked on stop button (left of the menu hamburger), or ctrl-c

mathcatsand · January 8, 2023, 9:38pm

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:

github.com/streamlit/streamlit

Ability to hide the hamburger menu

opened 01:19AM - 14 Oct 19 UTC

tvst

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.**

github.com/streamlit/streamlit

Ability to add custom items to hamburger menu

opened 01:24AM - 14 Oct 19 UTC

tvst

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.**

Topic		Replies	Views
What does the Stop button by the menu bar do? Using Streamlit	3	1400	February 21, 2023
How do i hide/ remove the menu in production? Using Streamlit	26	35334	May 8, 2024
Remove "Made with Streamlit" from bottom of app Using Streamlit	21	42280	December 1, 2023
How to trigger custom event on a hamburger menu option click Using Streamlit	1	570	November 4, 2023
Removing options from the hamburger menu Using Streamlit	4	2128	March 15, 2024

Run clean-up code after user clicked on stop button (left of the menu hamburger), or ctrl-c

Related topics

Hello there 👋🏻

Cookie settings

Strictly necessary cookies

Performance cookies

Functional cookies

Targeting cookies