From 54eddfbfad8e53e3b437fe787c5b55bfb1d45e5c Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Mon, 5 Oct 2015 10:08:38 +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 2c69e5c86c..6ae608e6ed 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 = new Color(255, 0, 255);
+ public static final Color PRAGMA = Color.orchid;
public static final Color SD_REFERENCE = new Color(104, 229, 255);
public static final Color IOD_REFERENCE = new Color(216, 187, 249);
--
GitLab