Darkns the red color in the navigator

gama-platform · Mar 26, 2022 · 32a4f40 · 32a4f40
1 parent a88e7ca
commit 32a4f40
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/Tag.java b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/Tag.java
@@ -91,7 +91,7 @@ public void getSuffix(final StringBuilder sb) {
 
 	@Override
 	public Color getColor() {
-		if (suffix.contains("built-in attribute")) return GamaColors.system(SWT.COLOR_RED);
+		if (suffix.contains("built-in attribute")) return GamaColors.system(SWT.COLOR_DARK_RED);
 		return null;
 	}
 

diff --git a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/Tags.java b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/Tags.java
@@ -86,7 +86,7 @@ public Object[] getNavigatorChildren() {
 	@Override
 	public Color getColor() {
 		for (String s : tags.values()) {
-			if (s.contains("built-in attribute")) return GamaColors.system(SWT.COLOR_RED);
+			if (s.contains("built-in attribute")) return GamaColors.system(SWT.COLOR_DARK_RED);
 		}
 		return null;
 	}

diff --git a/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedFile.java b/ummisco.gama.ui.navigator/src/ummisco/gama/ui/navigator/contents/WrappedFile.java
@@ -150,7 +150,7 @@ public Object[] getFileChildren() {
 				attributes.forEach((k, v) -> {
 					if (Types.AGENT.getSpecies().hasAttribute(k)) {
 						tags.put(k, tags.get(k) + " <- built-in attribute of agents");
-						color = GamaColors.system(SWT.COLOR_RED);
+						color = GamaColors.system(SWT.COLOR_DARK_RED);
 					}
 				});
 				final Tags wf = new Tags(this, tags, "Attributes", false);