From 26d4878168ee7c7dda52eea7d691a6ddbb0257d1 Mon Sep 17 00:00:00 2001 From: Maximilian Kratz Date: Tue, 18 Jun 2024 16:18:30 +0200 Subject: [PATCH] Revert "Hotfix: removes the broken dark theme" This reverts commit ca3cf2a7add333aaee7976c76e1b301cb89cb4d8. --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index b1363a1..8c6c2a2 100755 --- a/build.sh +++ b/build.sh @@ -42,7 +42,7 @@ IMPORT_PLUGIN_FILENAME="com.seeq.eclipse.importprojects_$IMPORT_PLUGIN_VERSION.j IMPORT_PLUGIN_SRC="https://api.github.com/repos/maxkratz/eclipse-import-projects-plugin/releases/tags/v$IMPORT_PLUGIN_VERSION" # Array with the order to install the plugins with. -ORDER_LINUX=("xtext" "plantuml" "hipe" "kermeta" "misc" "emoflon-headless" "emoflon" "additional") +ORDER_LINUX=("xtext" "plantuml" "hipe" "kermeta" "misc" "emoflon-headless" "emoflon" "theme" "additional") # # Configure OS specific details