Raku / doc-website

Tooling to build/run the documentation website
Artistic License 2.0
7 stars 10 forks source link

resolve issues #342 & #362 make indexed things searchable #363

Closed finanalyst closed 3 months ago

finanalyst commented 4 months ago
coke commented 4 months ago

Can we write some JS to wipe the setting the first time we check it? Maybe keep a dumb id of the version of JS expected - with the new version - set it to 1 and go up each deployment; if we check it and it's 0, fix it so the default isn't in place.

Also: we shouldn't be saving the default value explicitly - it should be a default if not set. then we can change what the default setting is without having to jump through hoops and only worry if someone changed it explicitly. (in which case we can override it with certain releases)

finanalyst commented 4 months ago

@coke

we shouldn't be saving the default value explicitly - it should be a default if not set.

This is true and I hadn't considered this. Let me think about this for a bit.

finanalyst commented 3 months ago

@coke fixed the default issue. Actually an easy fix. So options only stored when there is a change from the default.

finanalyst commented 3 months ago

I'll add that to the options popup.

On Tue, 30 Apr 2024, 14:58 Will Coleda, @.***> wrote:

@.**** approved this pull request.

Looks like this should improve things, but doesn't deal with the case where someone already has the defaults.

We probably want to add a button to the settings page where someone can reset and get things back to the current defaults, regardless of how they interacted in the past

— Reply to this email directly, view it on GitHub https://github.com/Raku/doc-website/pull/363#pullrequestreview-2031459523, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACYZHG3AJYG2URGFDWYUELY76PPRAVCNFSM6AAAAABGQX25D2VHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZDAMZRGQ2TSNJSGM . You are receiving this because you authored the thread.Message ID: @.***>