Using Espruino IDE without internet connection?

Well, the Project section in Settings actually lets you set up a local directory on your filesystem so you copy in the modules you need and can develop offline a bit more easily.

However if you want everything, if you go into Settings, then Communications, you should see something in there called Module URL.

You can point this where you want - however because the Web IDE is a Web app there are still security restrictions so you can't point it at a file/directory :(. If you've got a webserver on your PC you can just point the IDE at that though, and can then drag all the modules off the web with wget -r -l 1 http://www.espruino.com/modules.

You can do the same thing with the compiler, but it's more of a pain to set up - and you don't need it unless you're doing any functions with "compiled" at the top of them...

Finally, under Settings, then Board, you can set the board URL. That one's useful for autocomplete, but probably not much else.

Hope that helps! It'd be cool to have an 'offline' mode actually that basically did that automatically. It's probably not that difficult.