Install Favorites for cjohn7e0
Installable listings
Darkest Dark theme from DevStyle - a free plugin providing an enhanced set of experiences for Eclipse. Included:
Darkest Dark theme - #1 in the Marketplace:
True dark theme with f...
IDE, UI
Last Updated on Friday, July 14, 2023 - 10:13 by Tim Webb
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/news/4.25/platfo...
IDE, Tools, General Purpose Tools
Last Updated on Wednesday, September 14, 2022 - 05:22 by Mihai Nita
Contributes an ANTLR V4 grammar editor and builder to the Eclipse platform.
Features
Antlr Editor and Outline View – full syntax-directed editor
Grammar Formatter
Antlr eleme...
Editor, Languages, IDE, Modeling Tools
Last Updated on Wednesday, December 14, 2022 - 09:49 by Gerald Rosenberg