Make hamburger menu mode configurable via config option

[asaini]

Problem

See #3856 . Developer would like the ability to configure whether the developer menu or viewer menu is displayed while they are developing on cloud IDEs like Gitpod or Github Codespaces

Solution

Create a config option

showDeveloperMenu: true | false | auto

where

• true: always shows the developer menu locally and while deployed
• false: always shows the viewer menu locally and while deployed
• auto: shows developer menu when on localhost and viewer menu when on non-localhost deployment (This is the current behavior on Streamlit Cloud)

default is set to auto

[ilias-ant]

hello! can i work on this issue?

[vdonato]

Hi @ilias-ant, feel free to give this issue a try!

[pratimugale]

Hi @vdonato , I do not see any PR mentioning this issue. Can I pick this up?

[ilias-ant]

Hi @pratimugale - unfortunately, I didn't have time to work on this, so you can definitely pick this up :) (i was the original request-ee)

[vdonato]

Hi @pratimugale, I'd recommend not working on this one at the moment. There's currently a good amount of internal discussion regarding tweaks we want to make to the hamburger menu, and because of this I'd prefer to hold off on changes to this part of the codebase until we're sure what we want to do with it.

[pratimugale]

Okay sure 👍