On 27 aug 2013, at 13:34, Andy Parker <[email protected]> wrote: > > > I suspect Geppetto also has a similar problem to other Eclipse editors in > which if you change the file on disk via another mechanism (edit in vim, for > example) it kinda "freaks out" as it were. I think that has to do with the > caching that Eclipse tries to do in order to not have to hit the disk as > often.
There's a preference setting in Geppetto that might improve that behavior: "General" -> "Workspace" -> "Refresh using native hooks or polling" It should probably be checked by default, but it isn't at the moment. - thomas -- You received this message because you are subscribed to the Google Groups "Puppet Developers" 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 http://groups.google.com/group/puppet-dev. For more options, visit https://groups.google.com/groups/opt_out.
