[GAP Forum] Change line width when using PrintTo

Dmytro Savchuk savchuk at math.tamu.edu
Wed Jul 29 20:37:01 BST 2009


Joe,

If you type in SizeScreen(); it will return you the current size, which is
usually [80,24].

Regards,
Dmytro

On Wed, Jul 29, 2009 at 1:54 PM, Joe Bohanon <jbohanon2 at gmail.com> wrote:

> 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
>>>
>>>
>>>
>>
>>
>>
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>


More information about the Forum mailing list