I like the GPS recorder app, but I wish that it logged at least one more digit of the latitude and longitude. I can see in the widget code where the toFixed(5) call is made to truncate the position. I thought that I could just change that call and upload a new version of the widget. That worked for this app, but caused the battery widget to fail. I reloaded the GPS recorder and everything works like it originally did, but I'm stuck on how to make the change that I want. I'm new to the Espruino family.
Or should I simply be suggesting a change to the developer and not mess with their work at all?