<blockquote>
<p>A nice byproduct of this feature, if enabled by default (or always) is that we could potentially start using proper file change notifications (GFileMonitor and friends which is already in the code but disabled). It needs testing but it seems like it would circumvent the double-notification problem.</p>
</blockquote>

<p>Neat, have you solved the problem of it producing multiple notifications which was why it was abandoned last time IIRC?</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/1246#issuecomment-249766393">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ0DEDvt7ySLdg-8J7KMDp5AqGrS6ks5quKIhgaJpZM4KGa-x">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ7piSkgT4AOHoCXlDjjRNt8Wn0L-ks5quKIhgaJpZM4KGa-x.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/1246#issuecomment-249766393"></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 #1246: \u003e A nice byproduct of this feature, if enabled by default (or always) is that we could potentially start using proper file change notifications (GFileMonitor and friends which is already in the code but disabled). It needs testing but it seems like it would circumvent the double-notification problem.\r\n\r\nNeat, have you solved the problem of it producing multiple notifications which was why it was abandoned last time IIRC?"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1246#issuecomment-249766393"}}}</script>