<div class="gmail_quote">On Sun, Nov 27, 2011 at 9:56 PM, David Nolden <span dir="ltr"><<a href="mailto:zwabel@googlemail.com">zwabel@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

Btw. there actually is not much to document. The tooltip of the<br>
"Override Kate Indentation Mode" option says it all. I've disabled it<br>
by default for now.<br>
<div class="HOEnZb"><div class="h5"><br>
--<br>
KDevelop-devel mailing list<br>
<a href="mailto:KDevelop-devel@kdevelop.org">KDevelop-devel@kdevelop.org</a><br>
<a href="https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel" target="_blank">https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel</a><br>
</div></div></blockquote></div><br><div>Hi,</div><div>To actually override it, I think one must actually enable it and then disable it. Otherwise the checkbox is disabled but the settings are still overridden.</div><div>

<br></div><div>Aleix</div>