Yes, that’s intended.
I’m not comfortable sharing exact details (date & time) of all my open-source commits with every person in the world, see Publish packages without complete commit history for some discussion. So I do all development in private github repos, and have a script (using GitFiterRepo.jl) that transfers the repo to gitlab, rounding all dates to the year.
That makes it still possible to see the commits history - without exact dates, but year is enough to tell whether the project is abandoned long ago or not.
You know best how you want to work, but to me a repo where last commits are six months ago looks somewhat abandoned. It’s also pretty hard to know it has been updated since last I looked, especially since you don’t want this to be a package that I could just ] up .
I request this feature by filing an issue. However, the author directs me to use Pluto inside feedback instead. I then make a request through Pluto inside feedback. But nothing seems to change yet. Perhaps the Pluto author don’t like this kind of suggestion. I really hate the … button!
To each his own (definition of abandoned). I hope for this package to become obsolete at some point anyway, when themes get added to pluto itself.
Can’t you really use ]up here? I though Pkg does update packages added by url as well.
Such visual changes should be possible by modifying static assets - css or js files.
I also don’t support some opinionated choices made in Pluto. But these choices and the ability to easily make them are likely major reasons of why Pluto manages to provide a fresh but consistent take on notebooks.
Maybe, I didn’t need it myself and haven’t tried. Everyone is welcome to play with CSS and share their results.
Btw, what is “content menu” here?
Well, first I intended PlutoStyles to serve as a basis or inspiration for others, so that people create themes for themselves by modifying this package or building on top of it. But if there is indeed a demand for several styling options, I’m open to such contributions into PlutoStyles itself.
I see! Table of contents definitely isn’t going to be included in the styles PlutoStyles.jl applies by default, I never use/want ToC in my Pluto notebooks. As I said, alternative themes are clearly possible, with at least two different approaches. #1: you or someone else fork my repo and add/change styles there. Others can do ]add <your_url>/PlutoStyles.jl instead of ]add https://gitlab.com/aplavin/PlutoStyles.jl then. #2: potentially, theme selection can be added to a single PlutoStyles package.
I don’t see any advantages for #2 vs #1 though, so would prefer the first solution due to its simplicity.
In the just-released Pluto 0.17.6 ([ANN] Pluto 0.17.6), css file paths and selectors have slightly changed. I’ve updated PlutoStyles (0.1.15) so that it continues working, which required very minor modifications. All the default style adjustments remain effectively the same.