| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2021-01-25 | Fix some bugs reported by eslint | Guillaume Gomez | -1/+1 | |
| 2020-11-12 | Improve settings.js code by using 'onEachLazy' directly instead of looping ↵ | Guillaume Gomez | -33/+22 | |
| through DOM iterators | ||||
| 2020-11-12 | Make keyboard interactions in the settings menu more pleasant | Guillaume Gomez | -4/+21 | |
| 2020-10-28 | rustdoc: js: Use getSettingValue for all rustdoc-* values | Ian Jackson | -4/+0 | |
| Currently, storage.js and main.js have many open-coded calls to getCurrentValue for "rustdoc-" values, but these are settings and should be handled by getSettingValue. So make getSettingValue part of storage.js (where everyone can call it) and use it everywhere. No functional change yet. We are going to make getSettingValue do something more sophisticated in a moment. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk> | ||||
| 2020-10-13 | Coding style fixes | nasso | -9/+10 | |
| 2020-10-13 | Add a setting to use the system theme | nasso | -14/+39 | |
| 2020-05-26 | Fix eslint lints | Guillaume Gomez | -0/+3 | |
| 2018-12-25 | Remove licenses | Mark Rousskov | -12/+0 | |
| 2018-04-21 | Remove link generation on image, favicon and logo in settings | Guillaume Gomez | -9/+0 | |
| 2018-04-17 | Add rustdoc settings menu | Guillaume Gomez | -0/+50 | |
