<blockquote>
<p>I think we should have an issue for this, will I open one?</p>
</blockquote>
<p>It is a known problem that which settings can be overridden by projects is not visible.  As I said, I remember a discussion about making settings that can be overridden visible in the UI but I can't find it.</p>
<p>But like you said, we did not find a clean and easy solution IIRC.</p>
<p>If you can't find an issue for it (your search may be better than mine :) then certainly make one, it won't hurt if someone finds a duplicate later.</p>
<p>Perhaps the discussion was just on some unrelated issue/PR, we have the bad habit of doing that :(</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/1749#issuecomment-360463413">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ_c3sD2xGiA6b5J_mzfTpERmOp6vks5tOH6TgaJpZM4RsxqU">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ1cpZDOeO0qtF4Mh5tB_XjLT1QoPks5tOH6TgaJpZM4RsxqU.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/1749#issuecomment-360463413"></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":"@elextr in #1749: \u003e I think we should have an issue for this, will I open one?\r\n\r\nIt is a known problem that which settings can be overridden by projects is not visible.  As I said, I remember a discussion about making settings that can be overridden visible in the UI but I can't find it. \r\n\r\nBut like you said, we did not find a clean and easy solution IIRC. \r\n\r\nIf you can't find an issue for it (your search may be better than mine :) then certainly make one, it won't hurt if someone finds a duplicate later.\r\n\r\nPerhaps the discussion was just on some unrelated issue/PR, we have the bad habit of doing that :("}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1749#issuecomment-360463413"}}}</script>