[AndyL]

I am very confused as to what what is the exact difference between .pro and .txt files, as some software treat .txt the same way as .pro, and other don't...

Looking at the underlying file, there is no difference. Both a .pro and a .txt file contain text characters stored in exactly the same way. The .pro and .txt extensions are used to give the operating system (Android) a clue about what the file contents mean and so which app should be used to read them. So giving a file a .pro extensions is telling Android that the file contains text that can be interpreted as chordpro commands.

So if you can get a text editor to load a .pro file, it is perfectly possible to edit the chordpro commands and save it. Assuming you don't make any mistakes typing the commands, the changes will be read and displayed by a chordpro app (like MSPro)

Many text editors will load files with any extension, because so many files are really just commands as text. If your favourite text editor won't load a .pro file, you can always change its name to .txt, edit it and change it back.

HTH

Andy Ling