|
@@ -598,8 +598,8 @@ void TuiEditor::render_window(std::shared_ptr<Window> window, int x, int y, int
|
|
|
std::string text_to_hl = line_text.substr(draw_start + horizontal_offset, draw_end - draw_start);
|
|
std::string text_to_hl = line_text.substr(draw_start + horizontal_offset, draw_end - draw_start);
|
|
|
|
|
|
|
|
int screen_x = x + line_number_width + draw_start;
|
|
int screen_x = x + line_number_width + draw_start;
|
|
|
-
|
|
|
|
|
- int attrs = get_attributes_for_face(core_->minibuffer_manager().is_isearch_failed() ? "SearchFail" : "SearchMatch");
|
|
|
|
|
|
|
+
|
|
|
|
|
+ int attrs = get_attributes_for_face(core_->minibuffer_manager().is_isearch_failed() ? "isearch-fail" : "isearch");
|
|
|
if (attrs == 0) attrs = A_REVERSE;
|
|
if (attrs == 0) attrs = A_REVERSE;
|
|
|
|
|
|
|
|
attron(attrs);
|
|
attron(attrs);
|