Minimize A File

Select the desired file in the Project panel to minimize a Python file.

Click on the hamburger icon to bring up the main menu. Slide the mouse over the Tools selection, select External Tools, and click on python-minimizer.

The results of the call to python-minimizer are shown in the Run window at the bottom of the screen. Since there were no errors, a new file named button_test_min.py is added to the button_test directory.

This file is now ready to be flashed to the micro:bit.