Favorites for Paul Margetts

This plugin is not needed starting with Eclipse 2022-09 (4.25) From Eclipse 2022-09 the official Eclipse Console supports ANSI escape sequences: https://www.eclipse.org/eclipse...