Index: Source/devtools/front_end/cm/cmdevtools.css |
diff --git a/Source/devtools/front_end/cm/cmdevtools.css b/Source/devtools/front_end/cm/cmdevtools.css |
index 48561860faf0c03793cd46dd5500292a6b15cd0d..838151aaab162d6e9cce19c536f79843d52f928d 100644 |
--- a/Source/devtools/front_end/cm/cmdevtools.css |
+++ b/Source/devtools/front_end/cm/cmdevtools.css |
@@ -49,6 +49,14 @@ |
to { background-color: white; } |
} |
+.cm-highlight.cm-execution-line { |
+ -webkit-animation: "fadeout-execution-line" 1s 0s; |
+} |
+@-webkit-keyframes fadeout-execution-line { |
+ from {background-color: rgb(121, 141, 254); } |
+ to { background-color: rgb(171, 191, 254); } |
+} |
+ |
.cm-breakpoint .CodeMirror-linenumber { |
color: white; |
border-width: 1px 4px 1px 1px !important; |
@@ -120,7 +128,7 @@ |
} |
.cm-execution-line { |
- background-color: rgb(171, 191, 254) !important; |
+ background-color: rgb(171, 191, 254); |
outline: 1px solid rgb(64, 115, 244); |
} |