[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[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!