-
-
Notifications
You must be signed in to change notification settings - Fork 294
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Feature request: choose page title #1984
Comments
You mean for notebooks hosted via PlutoSliderServer.jl? When running notebooks locally, I do see the title |
In my case they are just static notebooks exported to HTML, such as https://gdalle.github.io/IntroJulia/ |
4c31a6b is 10% of a fix: it removes the default title ( |
While working on the new plutojl.org website, I also found this problem! I am thinking about a standardized "frontmatter" system, allowing you to define the title, description, author, date, and more of the HTML export. Right now, I (quickly) implemented by scanning for a global variable called |
Thanks for working on this! Not sure a GUI is worth it, putting |
#2008 was merged, but it was not yet used to solve this issue. Still to do: the |
Hi there!
When I open a notebook in my browser, the tab name only says "⚡ Pluto.jl ⚡". Same thing with link sharing on platforms like Discourse. Would it be possible to choose the name of the web page, or at least add the file name automatically?
The text was updated successfully, but these errors were encountered: