It wouldn't get rid of surplus tabs and other whitespace.
Tabs were not mentioned,
Neither were spaces.
and I don't know what you mean by other white spaces, can you give
me an example?
The common kinds of whitespace are spaces and tabs. In some contexts
linebreaks might also be considered whitespace.
Actually, another objection to globally replacing " +" with " " is
that if you had lines indented with spaces it would replace that
indentation with a space, so
indented line
would become
indented line
Whether that's a problem or not depends on the context (and no
context was provided in the original question, so it's hard to say
whether it's a potential problem here or not).
-jwgh
--
------------------------------------------------------------------
Have a feature request? Not sure the software's working correctly?
If so, please send mail to <[EMAIL PROTECTED]>, not to the list.
List FAQ: <http://www.barebones.com/support/lists/bbedit_talk.shtml>
List archives: <http://www.listsearch.com/BBEditTalk.lasso>
To unsubscribe, send mail to: <[EMAIL PROTECTED]>
