A discussion on the Discord yesterday made me realize that this is worth pointing out:
You can use external editors for your source code, images, sounds ,etc. with Mini Micro.
By default, a new Mini Micro installation stores your files inside a file called user.minidisk in the host OS. But a .minidisk file is really just a Zip file, with a .minidisk extension. You can convert it to an ordinary folder by this procedure:
- Change the file extension from .minidisk to .zip.
- Unzip (extract) the zip file to a folder.
Then, click on the top disk slot (below the Mini Micro screen) and choose "Mount Folder" from the pop-up menu. Select the folder where you extracted your files. Presto! Mini Micro works exactly the same whether you have mounted a folder, or a .minidisk (secretly just a zip) file. But when it's a folder of files, then you're free to use your favorite source code editor, image editors, etc. on those files.
Two more related tips:
- If you're using an external source code editor, check this wiki page for some plug-ins that will add MiniScript syntax highlighting.
- After editing your source code externally, switch back to Mini Micro and enter reset; load "myProgram"; run to test it. (And remember that after you've typed this once, you can just up-arrow to recall the same command again next time.)
Have fun!