From 2a9e91dd55f2b1914c9b91dbf4b66c6a6265a4da Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Mon, 10 Dec 2012 17:56:45 +0000 Subject: [PATCH] JS Hint Icon styles, vars & clear & set timeout New styles for icon shown in widget Var waiting used by setTimeout and and widgets array Set & clear timeouts on change of editor content --- editor.php | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/editor.php b/editor.php index 2bdecd6..f3ab724 100644 --- a/editor.php +++ b/editor.php @@ -26,6 +26,8 @@ span.CodeMirror-matchhighlight {background: #555} .CodeMirror-focused span.CodeMirror-matchhighlight {color: #000; background: #555; !important} /* Make sure this next one remains the 6th item, updated with JS */ .cm-tab:after {position: relative; display: inline-block; width: 0; left: -1.4em; overflow: visible; color: #aaa; content: "";} +.lint-error {font-family: arial; font-size: 80%; background: #ccc; color: #b00; padding: 2px 5px 3px} +.lint-error-icon {color: white; background-color: #b00; font-weight: bold; border-radius: 50%; padding: 0 3px; margin-right: 7px;} @@ -92,6 +94,8 @@ span.CodeMirror-matchhighlight {background: #555}