Concensus on the overrides/overridden icons in gutter

Just wondering what the outcome of the discussion was concerning these icons, regarding whether the icons should be merged into a single icon if the method both implements and is overridden. I just got a look at the double gutter size incurred by displaying both icons next to each other, and would definitely prefer a single icon representation.

Please sign in to leave a comment.