Reply To: End of Line options

[Derek Read]

One more thing that might be of use is a new feature in the 5.5 releases of XMetaL Author, XMAX and Developer that allows you to ignore the global “maximum line length” setting.

This setting should be listed in the CTM Editor in XMetaL Developer 5.5 (though I don't believe the documentation lists it yet).

The setting as it appears within the CTM file is and is inserted as a child inside . The setting it overrides is the global pretty printing setting (which when not set defaults to 80 characters).

Reply