klipse
klipse copied to clipboard
when hosting Klipse locally, fonts are loaded from the internet
Hi, I'm using the master version, following "Host Klipse locally". Differently from #334, I'm using the non-minified version here.
If I add klipse_settings.no_dynamic_scripts=true;
, evaluation of code fails with: TypeError: a.split is not a function
, while it (almost) works without that setting.
The piece that is not working is that I see a web request for https://viebel.github.io/klipse/fonts/FiraCode/woff/FiraCode-Regular.woff. This request should not be necessary as that resource is part of the dist
directory. How can I avoid this?
That's definitely a bug. You can fix it by modifying this file: https://github.com/viebel/klipse/blob/57e5312e88425811183a838f63afd4a92077fada/dist/codemirror.css
Please provide a PR.
I opened a PR for the font issue.
When should klipse_settings.no_dynamic_scripts=true;
be necessary?
@Verdinjoshua26 started working on this issue via WorksHub.
@rainbow-bamboo started working on this issue via WorksHub.
A user started working on this issue via WorksHub.