Shouldn't that be "\1\s\s\s\2"
On Thursday, July 30, 2020 at 3:19:32 PM UTC-4, Jim Witte wrote:
>
> find:
> ^([0-9]+[\.]{0,1})(.*)
> replace with:
> \1\s\s\s\1
>
> Would that do what you want? I'm not sure whether the «\s» in the replace
> string gets converted to a space character though, or if you actually just
> need to type spaces there. \1 is a leading number and optional period, and
> \2 is the rest of the line.
>
> On Thu, Jul 30, 2020 at 3:09 PM Garrett Taylor <[email protected]
> <javascript:>> wrote:
>
>> Howdy,
>> I would like to add spaces after line numbers. Is it possible?
>>
>> --
>> This is the BBEdit Talk public discussion group. If you have a feature
>> request or need technical support, please email "[email protected]
>> <javascript:>" rather than posting here. Follow @bbedit on Twitter: <
>> https://twitter.com/bbedit>
>> ---
>> You received this message because you are subscribed to the Google Groups
>> "BBEdit Talk" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to [email protected] <javascript:>.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/bbedit/49f6174e-5054-49f4-9726-65163418c001o%40googlegroups.com
>>
>> <https://groups.google.com/d/msgid/bbedit/49f6174e-5054-49f4-9726-65163418c001o%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
--
This is the BBEdit Talk public discussion group. If you have a feature request
or need technical support, please email "[email protected]" rather than
posting here. Follow @bbedit on Twitter: <https://twitter.com/bbedit>
---
You received this message because you are subscribed to the Google Groups
"BBEdit Talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/bbedit/8c78b3a1-248f-4ed9-ad89-522dd172089do%40googlegroups.com.