Hmm, that doesn't look as trivial as I hoped for. Here are some observations: - The best position would probably be right below the "Disk check timeout" option, probably named "Automatic reload". - That GUI element is defined in `data/geany.glade:4596`, so for a new property, this file would need to be touched. `HACKING` seems to recommend Glade 3.8.5, so I'll go with that. - The correlation to internal keys seems to be done in `src/keyfile.c:222`, so for a new property, this file would need to be touched. - When a file is deemed reload-necessary, `monitor_reload_file` in `src/document.c:3606` seems to be called to trigger the notification. So for the new property, this function would need to be touched. - Apparently, this uses the "new 'simple' prefs", as `src/prefs.c` puts it, so this file would need no changes.
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. --- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/301#issuecomment-232816067
