diff --git a/src/plugin/plugin.js b/src/plugin/plugin.js index d63e8f935df029d97706cbc4f4b2063cca8a66a7..212b574365da83ce0361621e0212d71699f56f96 100644 --- a/src/plugin/plugin.js +++ b/src/plugin/plugin.js @@ -65,6 +65,7 @@ async function updateUI(states) { await updateToggleExtensionButton(states.isLoggedIn, states.extensionActive, states.autoAdd, states.isTrackingActive, states.pyodideSimplemmaReady, states.includeStopwords); await updateLanguageSelection(); await updateStopwordsOption(states.includeStopwords); + document.getElementById("threshold").value = states.threshold; log("Interface mise à jour :", states); }