From f6d37b06dc8dc06a111efe437a8a968a0ff97082 Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Mon, 5 Oct 2015 10:10:58 +0000
Subject: [PATCH] Prompt on overwrite
---
src/ui/ColorManager.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ui/ColorManager.java b/src/ui/ColorManager.java
index 6ae608e6ed..3442e5118f 100755
--- a/src/ui/ColorManager.java
+++ b/src/ui/ColorManager.java
@@ -127,7 +127,7 @@ public class ColorManager {
public static Color TML_PORT_REQUEST = new Color(196, 166, 122);
public static final Color UML_NOTE = Color.lightGray;
- public static final Color PRAGMA = Color.orchid;
+ public static final Color PRAGMA = new Color(100, 0, 100);
public static final Color SD_REFERENCE = new Color(104, 229, 255);
public static final Color IOD_REFERENCE = new Color(216, 187, 249);
--
GitLab