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