<table><tr><td style="">dhaumann added a comment.
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D11838">View Revision</a></tr></table><br /><div><div><p>As background: in KF5 world, the KTextEditor settings are shared among applications: enabling line numbers in Kate will enable line numbers in KDevelop, Kile, KWrite, ...</p>

<p>Currently, there is no way to show line numbers except in Kile.</p>

<p>I can understand that line numbers may indeed not be to useful. We have two paths forward here:</p>

<ol class="remarkup-list">
<li class="remarkup-list-item">Reject the patch.</li>
<li class="remarkup-list-item">Accept the patch and Kile should try it out.</li>
</ol>

<p>Given we do not have evidence that line numbers on by default reflect any increase in usability, I would go for 1. for now.</p>

<p>Except if there are better solutions.</p>

<p>Personally, I dislike the idea of passing options in createView for a very simple reason: we have document variables, .kateconfig files, settings on the UI, the command line, the ConfigInterface. Adding yet another way to configure KTextEditor sounds like a bad idea.</p>

<p>If at all, the only clear way is to let an application decide to not share settings with other KTextEditor applications. E.g. KTextEditor::Editor::setUseSharedConfig(bool share).</p></div></div><br /><div><strong>REPOSITORY</strong><div><div>R39 KTextEditor</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D11838">https://phabricator.kde.org/D11838</a></div></div><br /><div><strong>To: </strong>ngraham, Kate, KTextEditor, dhaumann, mludwig<br /><strong>Cc: </strong>acrouthamel, brauch, mludwig, kfunk, dhaumann, Frameworks, michaelh, kevinapavew, ngraham, demsking, cullmann, sars<br /></div>