<p>Hmm, that doesn't look as trivial as I hoped for.  Here are some observations:</p>

<ul>
<li>The best position would probably be right below the "Disk check timeout" option, probably named "Automatic reload".</li>
<li>That GUI element is defined in <code>data/geany.glade:4596</code>, so for a new property, this file would need to be touched.  <code>HACKING</code> seems to recommend Glade 3.8.5, so I'll go with that.</li>
<li>The correlation to internal keys seems to be done in <code>src/keyfile.c:222</code>, so for a new property, this file would need to be touched.</li>
<li>When a file is deemed reload-necessary, <code>monitor_reload_file</code> in <code>src/document.c:3606</code> seems to be called to trigger the notification.  So for the new property, this function would need to be touched.</li>
<li>Apparently, this uses the "new 'simple' prefs", as <code>src/prefs.c</code> puts it, so this file would need no changes.</li>
</ul>

<p>Does this so far sound like a good idea?  I'm new to the project, so I'd like to hear feedback whether a PR changing these places would have hopes of being accepted.</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/issues/301#issuecomment-232816067">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ8RdowKue4gf01ZQ0-5BnNCuY8Hpks5qVr5wgaJpZM4CLrAl">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ5TsE-0OQA_kXA6lMVE495-grJFJks5qVr5wgaJpZM4CLrAl.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/issues/301#issuecomment-232816067"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>