user settings

[davidcarlisle]

It has come up in some issues that there may be a wish to have user settings (eg default pdf viewer, default language, styling choices such as font size, or whatever)

I'm opening this as a place holder so that I can close other issues asking for specific features once the underlying feature is implemented (eg choice of pdf reader in #56)

Cons

1. User settings would almost certainly require cookies or equivalent and so force some initial accept cookie banner.
2. If interface settings get too complicated you need a tutorial on how to use the tutorial which may spoil the initial experience.

Pros

1. Currently the only way to pass options to the back end service is via the % !TeX comments but adding these by hand on every example is good for testing the back end features but not really practical for an option that the user may want to set every time. It is fine for one-off customisations like "try running this with lualatex").

[davidcarlisle]

A working sketch of how this may work is at my fork at

https://davidcarlisle.github.io/learnlatex.github.io/SETTINGS

It would be good to structure things such that if the menus on that page are not used, then no cookies are retrieved and no accept cookie banner is needed. That may be the case already (if the menus are not used, no cookies are set, I am not sure if that is sufficient, but I do not see why it should not be.)

You can set the editor theme, default engine and default return parameter on that page and then navigate to the lessons and see that the choices stay. The Settings page is addded to the top menu bar (currently at the top level / not in /en to save needing copies in all translations while testing)

[davidcarlisle]

A settings page as suggested in this issue has been live on the page almost from the start, so closing here.