On Thu, Apr 13, 2017 at 2:18 AM, vitalije <[email protected]> wrote:
> I'm dithering about >> >> @bool check_for_changed_external_files. On the one hand, it seems >> unreasonable not to enable it by default. It's the expected behavior for >> most editors and IDE's. Otoh, there are rare performance problems with >> network drives. >> > > Is it possible for Leo to discover if some file path is in fact path to > network drive? > Lately, whenever I have any such question, I google it. In this case: "how to tell if a windows drive is a network drive" yields this page <https://www.google.com/search?q=how+to+tell+if+a+windows+drive+is+a+network+drive&ie=utf-8&oe=utf-8>. The most relevant link on the page seems to be one describing the GetDriveType <https://msdn.microsoft.com/en-us/library/windows/desktop/aa364939%28v=vs.85%29.aspx> . Leo's checking code might be able to call this low-level function. Imo, this is not necessary, for two reasons. First, @bool check_for_changed_external_files to False should suffice in most cases. If not, a new directive, say, @no-file-check, possibly created in a plugin, would be the more Leonine solution. This directive would allow the user to enable or disable checking for *specific* external files. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
