| commit | e93ea0ab70b2e487ef55e5886ccac9dd93bce84b | [log] [tgz] |
|---|---|---|
| author | Marco Stornelli <marco.stornelli@gmail.com> | Sat Mar 30 08:45:57 2019 +0100 |
| committer | Jonah Graham <jonah@kichwacoders.com> | Mon Apr 08 13:49:15 2019 -0400 |
| tree | d3304d8462993f50df04d28d9ee03bca420ed59d | |
| parent | e753c628ed910a7729a3c8cd43c84ff707cf7b63 [diff] |
Bug 468206 - Fix color for search matching We used color keys not saved in the preferences and without any UI widget. The user wasn't able to change them. Change-Id: I48bc4e411d2bc016501613b7dbfb0e7f95532099 Signed-off-by: Marco Stornelli <marco.stornelli@gmail.com>