10_3_force_recompile.patch

diff --git a/src/advanced-settings.html b/src/advanced-settings.html
index 5afb9a0d..3bcbc7b1 100644
--- a/src/advanced-settings.html
+++ b/src/advanced-settings.html
@@ -20,6 +20,7 @@
     <p><span data-i18n="advancedSettingsWarning"></span> <a class="fa info important" href="https://github.com/gorhill/uBlock/wiki/Advanced-settings" target="_blank">&#xf05a;</a>
     <p>
         <button id="advancedSettingsApply" class="important" type="button" disabled data-i18n="genericApplyChanges"></button>&ensp;
+        <button id="nanoForceRecompile" type="button" data-i18n="nano_d_recompile_filters"></button>&ensp;
 </div>
 
 <div id="advancedSettings" class="codeMirrorContainer"></div>
diff --git a/src/js/advanced-settings.js b/src/js/advanced-settings.js
index 57f53763..7c3ea045 100644
--- a/src/js/advanced-settings.js
+++ b/src/js/advanced-settings.js
@@ -177,6 +177,14 @@ const applyChanges = async function() {
 
 /******************************************************************************/
 
+const nanoForceRecompile = function() {
+    vAPI.messaging.send('dashboard', {
+        what: 'nanoForceRecompile'
+    });
+};
+
+/******************************************************************************/
+
 uDom.nodeFromId('advancedSettings').addEventListener(
     'input',
     advancedSettingsChanged
@@ -184,6 +192,10 @@ uDom.nodeFromId('advancedSettings').addEventListener(
 uDom.nodeFromId('advancedSettingsApply').addEventListener('click', ( ) => {
     applyChanges();
 });
+uDom.nodeFromId('nanoForceRecompile').addEventListener(
+    'click',
+    nanoForceRecompile
+);
 
 renderAdvancedSettings(true);
 
diff --git a/src/js/messaging.js b/src/js/messaging.js
index 457c38b2..de13e620 100644
--- a/src/js/messaging.js
+++ b/src/js/messaging.js
@@ -1188,6 +1188,10 @@ const onMessage = function(request, sender, callback) {
         µb.changeHiddenSettings(µb.hiddenSettingsFromString(request.content));
         break;
 
+    case 'nanoForceRecompile':
+        nano.recompile_filters();
+        break;
+
     default:
         return vAPI.messaging.UNHANDLED;
     }