diff options
author | Canop <cano.petrole@gmail.com> | 2020-08-18 17:38:25 +0200 |
---|---|---|
committer | Canop <cano.petrole@gmail.com> | 2020-08-18 17:38:25 +0200 |
commit | 9ccb5a397e2447b5dcd570621b9a23d89879b3fd (patch) | |
tree | d3c3c8d0d9be6c7350c41a006ce1537bb2f6138e /src/browser/browser_state.rs | |
parent | 5a4475f85a8be94a74dc006ff86c497623b2d111 (diff) |
optional selection mark to complete the selection background
mostly for when the selected line background isn't clearly visible
Diffstat (limited to 'src/browser/browser_state.rs')
-rw-r--r-- | src/browser/browser_state.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/browser/browser_state.rs b/src/browser/browser_state.rs index 04dcc6a..aaf9a02 100644 --- a/src/browser/browser_state.rs +++ b/src/browser/browser_state.rs @@ -665,6 +665,7 @@ impl AppState for BrowserState { tree: &self.displayed_tree(), skin: &panel_skin.styles, cols: &con.cols, + show_selection_mark: con.show_selection_mark, ext_colors: &con.ext_colors, area, in_app: true, |