Please make the download options configurable.

[maxtheman]

Description

I'm hoping to be able to make it so I can disable different download options for the notebook. In particular, I would like to remove "download as HTML" to prevent confusion with my users.

Suggested solution

Ideally, it's configurable somewhere in the app, maybe even you just put in tools.marimo when that comes out in the pyproject.

Alternative

Here's some CSS that removes it for now. You could customize this to remove the other option based on the text or the icon.

[role="menuitem"]:has(:contains("Download as HTML")) {
    display: none !important;
}
[role="menuitem"]:has(.lucide.lucide-folder-down) {
    display: none !important;
}

Result:

Additional context

No response

[mscolnick]

thanks for sharing your workaround, we can add this. (i may consider using your workaround as the solution and programmatically add/remove css 😄 )

[diehl]

Is there a way via CSS to remove the entire menu?

[maxtheman]

@mscolnick you're welcome to it!

@diehl here's one that would remove the whole menu. I'm just looking at the icon and selecting for that, with specificity on the button, so you should be able to copy that for any item you want to hide really.

button[aria-haspopup="menu"]:has(.lucide-ellipsis) {
    display: none !important;
}

[diehl]

Thank you @maxtheman! My HTML/CSS skills are basically nonexistent so this a significant help ;-)