[Pydev-users] [pydev - Users] RE: using PyDev on differen file extensions

[SourceForge.net <no...@so...>]

Read and respond to this message at: 
https://sourceforge.net/forum/message.php?msg_id=3768377
By: fabioz

Well, I think that checking for valid source files as files that are identified
as being edited with the python editor would be a good thing. So, if you submit
a patch for it, I would have no problems adding it (if you do the proper listening
for when those files are changed and do the proper caching so that this does
not become something slow, as checking for that is something pretty common).

Cheers,

Fabio

______________________________________________________________________
You are receiving this email because you elected to monitor this forum.
To stop monitoring this forum, login to SourceForge.net and visit: 
https://sourceforge.net/forum/unmonitor.php?forum_id=293649