Jeremy Ruston e78d3ae04e Introduce new generic filter tracker ...

The new filter tracker is a generic JS mechanism for tracking changes to the results of filters and changes to the tiddlers identified by those results.

The rationale for the new mechanism is that it is a generalisation of code that is already present in the keyboard manager. The intention is to refactor the keyboard manager to use the filter tracker in due course

2025-01-05 17:32:15 +00:00

..

mediaquerytracker.js

Introduce new generic filter tracker

2025-01-05 17:32:15 +00:00

platform.js

Introduce new MediaQueryTrackerMechanism, and use it for dark mode

2024-08-27 16:34:58 +01:00