From e8c8cfeda4a1877672db0d7a868c5337625bf6d0 Mon Sep 17 00:00:00 2001 From: Robert Krahn Date: Thu, 28 Mar 2013 12:24:37 -0700 Subject: [PATCH] occur+isearch: fixing highlighting for big font sizes --- lib/ace/incremental_search.js | 4 ++-- lib/ace/occur.js | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/ace/incremental_search.js b/lib/ace/incremental_search.js index a15d7acc..e4b84229 100644 --- a/lib/ace/incremental_search.js +++ b/lib/ace/incremental_search.js @@ -219,11 +219,11 @@ dom.importCssString && dom.importCssString("\ }\ div.ace_isearch-result {\ border-radius: 4px;\ - border: 8px solid rgba(255, 200, 0, 0.5);\ + background-color: rgba(255, 200, 0, 0.5);\ box-shadow: 0 0 4px rgb(255, 200, 0);\ }\ .ace_dark div.ace_isearch-result {\ - border: 8px solid rgb(100, 110, 160);\ + background-color: rgb(100, 110, 160);\ box-shadow: 0 0 4px rgb(80, 90, 140);\ }", "incremental-search-highlighting"); diff --git a/lib/ace/occur.js b/lib/ace/occur.js index 7761cfc1..385bc76a 100644 --- a/lib/ace/occur.js +++ b/lib/ace/occur.js @@ -172,7 +172,7 @@ oop.inherits(Occur, Search); var dom = require('./lib/dom'); dom.importCssString(".ace_occur-highlight {\n\ border-radius: 4px;\n\ - border: 8px solid rgba(87, 255, 8, 0.25);\n\ + background-color: rgba(87, 255, 8, 0.25);\n\ position: absolute;\n\ z-index: 4;\n\ -moz-box-sizing: border-box;\n\ @@ -181,7 +181,7 @@ dom.importCssString(".ace_occur-highlight {\n\ box-shadow: 0 0 4px rgb(91, 255, 50);\n\ }\n\ .ace_dark .ace_occur-highlight {\n\ - border: 8px solid rgb(80, 140, 85);\n\ + background-color: rgb(80, 140, 85);\n\ box-shadow: 0 0 4px rgb(60, 120, 70);\n\ }\n", "incremental-occur-highlighting");