[GAP Forum] Change line width when using PrintTo

[Joe Bohanon]

Found it, Keith.

I don't need all that much more space.  What's the default so I can 
change it back if I want?

Thanks
Joe

R. Keith Dennis wrote:
> Joe,
>
> as I recall ScreenSize does this to some extent.  ButI don't think you
> can set it above 256.
>
> I sent in a question to the GAO forum a year or two ago, but I can't
> remember if I ever got a satisfactory answer - I couldn't find it
> anywhere in my e-mail when I just checked (only my question).
>
> Keith
>
>   
>> Is there any way to extend the length of a line when I print to a file 
>> using PrintTo (or AppendTo)?  I'm using GAP to auto-generate some html 
>> pages (I know, it's a non-standard use) and the backslash characters 
>> that come up for line breaks mess with the output.  It's not that hard 
>> to fix, but it would save time if there was a way to change it.
>>
>> Thanks
>> Joe
>>
>> _______________________________________________
>> Forum mailing list
>> Forum at mail.gap-system.org
>> http://mail.gap-system.org/mailman/listinfo/forum
>>
>>     
>
>