<blockquote>
<p>Thats why I suggested we add a# to the front of each line (s/^/# /g). Everything is still visible and you can still see which things are commented out in the system file. Deletions are not needed.</p>
</blockquote>
<p>But with the comments it looks to the user like something which is NOT used but in fact this is what is used in the global settings. So personally I'd keep it the way it is.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1482#issuecomment-298171699">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ0ZuibgDyE3Ii9BUoMljsodG1H8Oks5r00ajgaJpZM4NIGlb">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ93eY0KYzlFcg1ck8I1ctLy3oso-ks5r00ajgaJpZM4NIGlb.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1482#issuecomment-298171699"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@techee in #1482: \u003e Thats why I suggested we add a# to the front of each line (s/^/# /g). Everything is still visible and you can still see which things are commented out in the system file. Deletions are not needed.\r\n\r\nBut with the comments it looks to the user like something which is NOT used but in fact this is what is used in the global settings. So personally I'd keep it the way it is."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1482#issuecomment-298171699"}}}</script>