<div dir="ltr"><div><div><div><div><div>While we're talking of this stuff....<br><br></div>Does anyone have suggestions for an editor that stores differentiles" and allows you to quickly move between "profiles" for different editing.<br><br></div>For example, I tend to do quite a bit of stuff in the Linux kernel (or associated code), so I like my editor set up that way (indent = tabs, not spaces: tab width 8 spaces). But then I will likely also work on someone else's codebase too where it is indent = 4 spaces, stored as spaces.<br><br></div>First prize would be an editor that supports that with one click/key combo and does require that you go change all the settings.<br><br></div>Linux of course...<br><br></div>-- Charles<br><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Sep 24, 2016 at 3:54 PM, mikael stewart <span dir="ltr"><<a href="mailto:mikael.stewart@gmail.com" target="_blank">mikael.stewart@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Fri, Sep 23, 2016 at 3:22 PM, Volker Kuhlmann<br>
<<a href="mailto:list0570@paradise.net.nz">list0570@paradise.net.nz</a>> wrote:<br>
><br>
> On Fri 23 Sep 2016 11:14:26 NZST +1200, mikael stewart wrote:<br>
><br>
> > 1. Use of TAB to indent. All decent, modern IDEs all allow scaling of the<br>
> > tab character. I like large indents (I have a 16:9 monitor and I'm not<br>
> > afraid to use it!), so set TAB to appear as the equivalent of 4 monospaced<br>
> > characters. If I pass my code over to someone else, they can easily<br>
> > re-scale to suit their eyes without reformatting the content (think tab<br>
> > stops in a word processor).<br>
><br>
> You're stopping short though. To do that properly you'd distinguish<br>
> between the tab character spacing and the tab *key* spacing. So you<br>
> leave tab characters at 8 because too many editors are dumb. Besides, I<br>
> seriously don't want to have to reconfigure editors for each piece of<br>
> source code. Then you set the tab key spacing to whatever you like, e.g.<br>
> 4, and fill up with actual spaces as needed. Works really well. I've<br>
> only ever seen one editor though which implements this properly (nedit),<br>
> and yes even backspace un-indents correctly. It has other problems. Did<br>
> I say editors are dumb?<br>
><br>
<br>
</span>Not sure what you mean by tab character vs tab key. I have a single<br>
tab character inserted with the press of the key for a single level<br>
indent, but I have my editor of choice represent this as if it were 4<br>
mono-spaced characters (or whatever looks right to me).<br>
<br>
The automatic replace with space chars is what I dread because<br>
invariably something goes wrong with either the indenting or<br>
un-indenting or both. If you say nedit handles this well I'll have to<br>
give that a go.<br>
<br>
Maybe Eclipse which I use more than anything else could handle it too,<br>
but in all the years I've used it I've not tried. If anything gets out<br>
of sync with my style convention (copy+pasting from elsewhere, rogue<br>
space chars etc.), it does have the cure-all CTRL+SHIFT+F (or select<br>
then CTRL+I) to reformat which seems to work OK.<br>
<div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<br>
Chchrobotics mailing list <a href="mailto:Chchrobotics@lists.linuxnut.co.nz">Chchrobotics@lists.linuxnut.<wbr>co.nz</a><br>
<a href="http://lists.ourshack.com/mailman/listinfo/chchrobotics" rel="noreferrer" target="_blank">http://lists.ourshack.com/<wbr>mailman/listinfo/chchrobotics</a><br>
Mail Archives: <a href="http://lists.ourshack.com/pipermail/chchrobotics/" rel="noreferrer" target="_blank">http://lists.ourshack.com/<wbr>pipermail/chchrobotics/</a><br>
Meetings usually 3rd Monday each month. See <a href="http://kiwibots.org" rel="noreferrer" target="_blank">http://kiwibots.org</a> for venue, directions and dates.<br>
When replying, please edit your Subject line to reflect new subjects.<br>
</div></div></blockquote></div><br></div>