On Mon, Sep 16, 2013 at 12:40 AM, Felix Miata <mrma...@earthlink.net> wrote:
> > It might make sense to turn it off by default, although I find this a >> really minor priority question. You can easily turn it off for yourself >> and >> then save your setup, and you're done forever :) >> > > I don't understand this response. I purposely have not tried to disable > auto indent because it's something I routinely use. > > Sorry, apparently I misunderstood you. Can you try my patch with xterm or gnome-terminal? Konsole doesn't support the desired feature and I couldn't patch it in in about half an hour, so I just filed them a request. > OTOH, I don't use it quite enough to have figured out why it sometimes > auto indents a half tab instead of a full tab on a line start. > > -- > "The wise are known for their understanding, and pleasant > words are persuasive." Proverbs 16:21 (New Living Translation) > > Team OS/2 ** Reg. Linux User #211409 ** a11y rocks! > > Felix Miata *** http://fm.no-ip.com/ > ______________________________**_________________ > mc-devel mailing list > https://mail.gnome.org/**mailman/listinfo/mc-devel<https://mail.gnome.org/mailman/listinfo/mc-devel> >
_______________________________________________ mc-devel mailing list https://mail.gnome.org/mailman/listinfo/mc-devel
