Change a file type in Python?

[Chris Angelico]

On Sun, Dec 1, 2013 at 2:02 PM, rusi <rustompmody at gmail.com> wrote:
> On Sunday, December 1, 2013 5:34:11 AM UTC+5:30, Eamonn Rea wrote:
>> Thanks for the help!
>>
>> Ok, I'll look into the mailing list.
>
> [Assuming you are using GG with firefox on linux]
>
> All you need to do is
> 1. Install 'Its all text' FF addon
> 2. Point the 'editor' of 'Its all text' to the below python script
>
> After that, a small new edit button will appear outside the text-box and its one-click solution

Yeah I still think it's a lot easier to switch to a properly-working
system. What you're suggesting still doesn't wrap text properly, as
evidenced by your above over-long line.

ChrisA