Development on Windows¶ I am not very experienced with Windows but the following tools have proven to be good. Editors¶ Terminal Emulator¶ ¶ Last update: September 11, 2020