<p><a href="https://github.com/vfaronov" class="user-mention">@vfaronov</a> I have made the fixations you asked before.<br>
I examined the code of geany, and I think it's complicated to solve reloading the changed files only. When geany recognizes, that a file has different time mark on the disk than in a tag of struct of document, it immediately write back the new time into struct (document.c, row 3732). So I could not understood the difference when the reloading process is running. The solution is probably storing this information (diff is true/false) in a new tag in the struct, or checking again the time mark of the actual file in the time of reloading process. The first needs more memory allocations, the second needs more runtime.<br>
Sorry for my english, I hope it was clear for you what I wanted to tell you.<br>
cheers,<br>
Attila</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/1471#issuecomment-299667278">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJxTrCAE10fY_dnhSQFmD9LIRUMZqks5r3OeLgaJpZM4NEjQ4">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ_0Ek5mdt-DRvmieUJX8k_XysKj4ks5r3OeLgaJpZM4NEjQ4.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/1471#issuecomment-299667278"></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":"@attila-v in #1471: @vfaronov I have made the fixations you asked before.\r\nI examined the code of geany, and I think it's complicated to solve reloading the changed files only. When geany recognizes, that a file has different time mark on the disk than in a tag of struct of document, it immediately write back the new time into struct (document.c, row 3732). So I could not understood the difference when the reloading process is running. The solution is probably storing this information (diff is true/false) in a new tag in the struct, or checking again the time mark of the actual file in the time of reloading process. The first needs more memory allocations, the second needs more runtime.\r\nSorry for my english, I hope it was clear for you what I wanted to tell you.\r\ncheers,\r\nAttila"}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1471#issuecomment-299667278"}}}</script>