diff options
| author | Radu <radu@pml4t.net> | 2023-08-26 22:16:49 -0400 |
|---|---|---|
| committer | Radu <radu@pml4t.net> | 2023-08-27 16:45:40 -0400 |
| commit | d98ab397c9b17036569b7a6e277b2790b02d1093 (patch) | |
| tree | 708737cb50ac9354ccc4a069d95078774bb1c181 /demo.html | |
| parent | 76debe0071fef6865bd0fb79199f53932bf063c0 (diff) | |
Allow restricting websites on which extension runs
Diffstat (limited to 'demo.html')
| -rw-r--r-- | demo.html | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -24,6 +24,11 @@ </head> <body> <textarea autofocus></textarea> + <script> + async function subEnabled() { + return true; + } + </script> <script src="init-unicode-maps.js"></script> <script src="unicode-maps-to-bold.js"></script> <script src="unicode-maps-to-subscript.js"></script> |