Re: [ jEdit-users ] Inserting Tabs into File with Find/Replace

[Michael C. <chi...@mi...>]

I just tried this: turned soft tabs off, then in the Search And Replace 
dialog, turned Regular Expressions on, and searched for "\|" and 
replaced with "\t" (minus the quotes).  And it replaced pipe characters 
with tabs.  The pipe character has special meaning in regexes, so you 
have to escape it with a backslash.

Andy

Stuart Poss wrote:
> Is there a way to replace a particular character (say "|" [vertical 
> bar] with a tab character? 
>
> In the find/replace pane attempts to substitute a "|" with a tab 
> character or "[tab character]" only moves the active cursor position 
> to the next field (Search in: "Selection" button).  I've tried to 
> substitute /t or "/t" but only get it to replace the with /t or "/t" 
> and not a tab character.  Attempts to use a backslash as an escape 
> character before the tab doesn't seem to get me anywhere either, nor 
> does a close reading of help files.  Have I missed something here?
>
> I use JEdit to edit text files for preparation of data into a standard 
> format from multiple, varied sources using macros and it would be 
> useful to be able to automate inclusion of tabs into the file for 
> visual inspection.
>
> I appreciate the help in learning how to better use this very powerful 
> editor.
>
> Thank you.
>
> Stuart Poss
>
>
> ------------------------------------------------------------------------
> Get thousands of games on your PC, your mobile phone, and the web with 
> Windows®. Game with Windows 
> <http://clk.atdmt.com/MRT/go/108588800/direct/01/>
> ------------------------------------------------------------------------
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/