:) Well, the fix is in the GitHub version now - it's just a per-session cache, which I assume will be enough to solve your current issues - although changing the minifier setting should work too. I'm not sure storing the cache between sessions will really help that much - the effort would be much better spent trying to find a minifier that could run offline.
Perhaps a simple solution for now is to find a JavaScript whitespace minifier and use that for 'whitespace' minification, and then swap to online services for the more advanced minification options.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
:) Well, the fix is in the GitHub version now - it's just a per-session cache, which I assume will be enough to solve your current issues - although changing the minifier setting should work too. I'm not sure storing the cache between sessions will really help that much - the effort would be much better spent trying to find a minifier that could run offline.
Perhaps a simple solution for now is to find a JavaScript whitespace minifier and use that for 'whitespace' minification, and then swap to online services for the more advanced minification options.
Does anyone know of one?