| commit | a72e8bae7a43ff9b3dc20e13f55a978536775313 | [log] [tgz] |
|---|---|---|
| author | shivanggarg <shivanggarg@google.com> | Thu Jul 16 07:11:17 2020 +0530 |
| committer | Shivang Garg <shivanggarg@google.com> | Fri Jul 17 04:48:42 2020 +0000 |
| tree | 75ab6b088f8a22836fb069bbd22d86c97d42cdc0 | |
| parent | da17d3a4e2a75739306989180d2331e5c725b83a [diff] [blame] |
add find-result-selected-color pref Find result selected color pref will set the highlight color of the selected find result. Change-Id: I167afbbef42bdc1b614412b50063cd4e3471c042 Reviewed-on: https://chromium-review.googlesource.com/c/apps/libapps/+/2299924 Reviewed-by: Joel Hockey <joelhockey@chromium.org> Tested-by: kokoro <noreply+kokoro@google.com>
diff --git a/hterm/js/hterm_terminal.js b/hterm/js/hterm_terminal.js index fca1f12..0a14da8 100644 --- a/hterm/js/hterm_terminal.js +++ b/hterm/js/hterm_terminal.js
@@ -488,6 +488,10 @@ terminal.findBar.setFindResultColor(v); }, + 'find-result-selected-color': function(v) { + terminal.findBar.setFindResultSelectedColor(v); + }, + 'font-family': function(v) { terminal.syncFontFamily(); },