about summary refs log tree commit diff
path: root/src/librustdoc/html/static/js/settings.js
AgeCommit message (Expand)AuthorLines
2023-12-15Rollup merge of #115660 - notriddle:notriddle/sidebar-resize, r=GuillaumeGomezGuillaume Gomez-0/+19
2023-11-25rustdoc: replace `elemIsInParent` with `Node.contains`Michael Howell-2/+2
2023-10-11rustdoc: allow resizing the sidebarMichael Howell-0/+19
2023-09-08Change syntax for anonymous functions setGuillaume Gomez-4/+4
2023-04-21rustdoc: remove unneeded handleKey from settings.jsMichael Howell-18/+1
2023-04-06rustdoc: clean up JSMichael Howell-6/+2
2023-01-30Rollup merge of #107177 - thanatos:fix-doc-errant-light-theme, r=notriddleMatthias Krüger-2/+2
2023-01-30Keep all theme-updating logic togetherRoy Wellington Ⅳ-2/+2
2023-01-23rustdoc: remove dead settings JS for obsolete select-wrapperMichael Howell-11/+0
2023-01-23rustdoc: simplify settings popover DOMMichael Howell-19/+21
2023-01-17rustdoc: instead of `.setting-name { width: 100% }`, use default div CSSMichael Howell-1/+1
2023-01-13rustdoc: rename CSS rustdoc-toggle -> toggle and toggle -> settings-toggleMichael Howell-2/+2
2022-11-26rustdoc: improve popover focus handling JSMichael Howell-1/+1
2022-11-13Simplify settings UI by merging system theme with the theme choicesGuillaume Gomez-24/+36
2022-11-10rustdoc: use checkbox instead of switch for settings togglesMichael Howell-3/+1
2022-10-29rustdoc: add hash to filename of toolchain filesJacob Hoffman-Andrews-4/+6
2022-10-15Fix display of settings pageGuillaume Gomez-1/+3
2022-09-21rustdoc: dynamically show-hide line numbers on code examplesMichael Howell-0/+7
2022-06-23Merge all popover hide functions into oneGuillaume Gomez-7/+5
2022-06-23Move help popup into a pocket menu as wellGuillaume Gomez-22/+8
2022-05-30Improve display of settings radio buttonsGuillaume Gomez-1/+1
2022-05-26Rollup merge of #97394 - GuillaumeGomez:more-eslint-rules, r=notriddleGuillaume Gomez-1/+1
2022-05-25Add new eslint rule "space-before-function-paren"Guillaume Gomez-1/+1
2022-05-24Allow to click on toggle text to update itGuillaume Gomez-6/+5
2022-05-18Move some DOM generation into the HTML settings file directlyGuillaume Gomez-16/+2
2022-05-15Add new eslint rule about brace styleGuillaume Gomez-2/+2
2022-05-14Improve settings menu displayGuillaume Gomez-25/+57
2022-05-07Enforce quote rule for JS source codeGuillaume Gomez-5/+4
2022-05-07Change eslint rules from configuration comments to configuration filesFolyd-4/+0
2022-05-05Rollup merge of #96741 - GuillaumeGomez:improve-settings-loading-strategy, r=...Michael Goulet-4/+1
2022-05-05Rollup merge of #96704 - GuillaumeGomez:rotation-animation, r=jshaMichael Goulet-0/+1
2022-05-05Improve settings loading strategy by loading CSS and JS at the same time to p...Guillaume Gomez-4/+1
2022-05-05Add rotation animation on settings button when loadingGuillaume Gomez-0/+1
2022-05-05Use "strict" mode in JS scriptsGuillaume Gomez-0/+2
2022-05-04Move callback to the () => {} syntax.Folyd-6/+7
2022-05-01* Add documentation for settings page rendering functions.Guillaume Gomez-49/+59
2022-04-30Move settings into full JSGuillaume Gomez-9/+174
2022-04-26Small JS code improvementsGuillaume Gomez-1/+1
2022-04-24Update settings.js to ES6Guillaume Gomez-6/+9
2022-02-02Unify storage getter and setter functionsGuillaume Gomez-1/+1
2022-01-23rustdoc settings: use radio buttons for themeJacob Hoffman-Andrews-10/+19
2022-01-14Add support for "always theme" in settingJacob Hoffman-Andrews-0/+28
2021-07-07Clean up rustdoc static filesGuillaume Gomez-0/+60