Re: [photran-dev] file comparison feature

[Jeffrey Overbey <subscribe-photran-dev@xxxxxxxxxxxx>]

Hi David,

> differences, I would like to be able to specify a tolerance within which 
> a numeric difference would be ignored (or simply highlighted, rather 
> than being called out as a difference). Is this a function which seems 
> to be of general interest to the developer/user community? How would I 
> go about formally requesting such an enhancement?

As for determining what interest there is in this, I'd probably ask on 
the Photran users' list and/or the PTP users' list:

https://dev.eclipse.org/mailman/listinfo/photran
https://dev.eclipse.org/mailman/listinfo/ptp-user

The file comparison feature actually comes from the Eclipse Platform, 
not from Photran specifically.

You can request an enhancement in Bugzilla, just like reporting a bug. 
However, most of us who are working on Photran are being paid by a 
specific grant with a specific agenda, so it probably won't get 
implemented just because it's a nontrivial enhancement there aren't 
resources allocated to it.  (That's one of the downsides of open source 
software, I guess.)

This does sound like an interesting feature, though.  If you wanted to 
write it yourself or hire someone to do it, that could definitely be 
contributed to Photran or even implemented in its own Eclipse plug-in. 
I'd be happy to give you some pointers here.

Jeff