From 657188ecbdee866c17ca943a2ea6c7a12ee5b3a3 Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Wed, 3 Apr 2024 08:04:58 +0200 Subject: [PATCH] Enables the JavaDoc download for Maven per default --- resources/emoflon_dev.properties | 3 +++ resources/emoflon_user.properties | 3 +++ 2 files changed, 6 insertions(+) diff --git a/resources/emoflon_dev.properties b/resources/emoflon_dev.properties index 476e833..ded13ff 100644 --- a/resources/emoflon_dev.properties +++ b/resources/emoflon_dev.properties @@ -9,3 +9,6 @@ org.eclipse.egit.core/core_defaultRepositoryDir=${workspace_loc}/git # # Disable console log output limitation org.eclipse.debug.ui/Console.limitConsoleOutput=false +# +# Allow Maven to download JavaDoc +org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true diff --git a/resources/emoflon_user.properties b/resources/emoflon_user.properties index 9be04e2..634e539 100644 --- a/resources/emoflon_user.properties +++ b/resources/emoflon_user.properties @@ -12,3 +12,6 @@ org.eclipse.debug.ui/Console.limitConsoleOutput=false # # Set default perspective to eMoflon org.eclipse.ui/defaultPerspectiveId=org.moflon.ide.ui.MoflonPerspective +# +# Allow Maven to download JavaDoc +org.eclipse.m2e.core/eclipse.m2.downloadJavadoc=true