Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Later
-
None
-
None
Description
The org.eclipse.ui.ide plugin adds many extensions to the Cas Editor. Many of these extenions
do not make sense e.g "Convert Line Delimiters" in the file menu.
Unwanted extensions should be deactivated.
Here is explained how it should be done: