Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[platform-ui-dev] Draft marker update proposal

I have released an initial draft of a proposal for a marker update API.
This API would provide a central place for managing how marker attributes
get updated when files are modified.  For those involved in creating,
managing, and displaying markers, feedback to the platform-core-dev mailing
list would be appreciated.  Sorry for the cross-post, but I suspect that
many of the UI people who are concerned with this are not on the core
mailing list yet.  Link to the draft RFC is:

Again, to avoid further pollution of the UI mailing list, please give all
feedback to the platform-core-dev mailing list.  Thanks!

Back to the top