Description Markus Keller 2009-02-26 09:40:00 EST

HEAD

Javadoc hovers should somehow mark copied parts from overridden methods (inherited tags of main description).

The Javadoc tool already writes "Description copied from ..." in some cases (only when the whole description is copied), e.g. in 
http://java.sun.com/javase/6/docs/api/java/util/AbstractMap.html#entrySet()

In other cases, it doesn't mention the copying (e.g. when {@inheritDoc} is used or when tags like @return are copied):
http://java.sun.com/javase/6/docs/api/java/util/AbstractMap.html#keySet()

We should mark all copied parts in Javadoc hovers, e.g. with a slightly darker background color and a tooltip that says where it is copied from.