FOSS
/
BangleApps
mirror of https://github.com/espruino/BangleApps
1
0
Fork 1
Code Issues Packages Projects Releases Wiki Activity

fix #416 for real - forgot to commit this

pull/422/head
Gordon Williams 2020-05-14 16:59:23 +01:00
parent 4f9d3e7794
commit 776fa29728
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
js/espruinotools.js
View File

@ -124,6 +124,7 @@ Espruino.Core.Status = {
hasProgress : function() { return false; }, hasProgress : function() { return false; },
incrementProgress : function(amt) {} incrementProgress : function(amt) {}
}; };
var acorn = (function(){ var exports={};
(function (global, factory) { (function (global, factory) {
typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) : typeof exports === 'object' && typeof module !== 'undefined' ? factory(exports) :
typeof define === 'function' && define.amd ? define(['exports'], factory) : typeof define === 'function' && define.amd ? define(['exports'], factory) :
@ -3989,6 +3990,7 @@ exports.nonASCIIwhitespace = nonASCIIwhitespace;
Object.defineProperty(exports, '__esModule', { value: true }); Object.defineProperty(exports, '__esModule', { value: true });
}))); })));
return exports;})();
/** /**
Copyright 2014 Gordon Williams (gw@pur3.co.uk) Copyright 2014 Gordon Williams (gw@pur3.co.uk)
@ -6479,6 +6481,7 @@ To add a new serial device, you must add an object to
(function(){ (function(){
if (typeof acorn == "undefined") { if (typeof acorn == "undefined") {
console.log("pretokenise: needs acorn, disabling."); console.log("pretokenise: needs acorn, disabling.");
return;
} }
function init() { function init() {
@ -6582,7 +6585,8 @@ To add a new serial device, you must add an object to
var tp = "?"; var tp = "?";
if (tk.type.label=="template" || tk.type.label=="string") tp="STRING"; if (tk.type.label=="template" || tk.type.label=="string") tp="STRING";
if (tk.type.label=="num") tp="NUMBER"; if (tk.type.label=="num") tp="NUMBER";
if (tk.type.keyword) tp="ID"; if (tk.type.keyword || tk.type.label=="name") tp="ID";
if (tp=="?" && tk.start+1==tk.end) tp="CHAR";
return { return {
startIdx : tk.start, startIdx : tk.start,
endIdx : tk.end, endIdx : tk.end,
@ -6797,7 +6801,7 @@ Espruino.transform = function(code, options) {
}); });
}; };
if (!document) Espruino.init(); if ("undefined"==typeof document) Espruino.init();
if ("undefined"!=typeof module) if ("undefined"!=typeof module)
module.exports = Espruino; module.exports = Espruino;