diff options
author | Martin Nordholts <enselic@gmail.com> | 2021-07-27 20:11:58 +0200 |
---|---|---|
committer | Martin Nordholts <enselic@gmail.com> | 2021-07-29 08:27:02 +0200 |
commit | b040efff79b641ba23704e7f34655d11fb91d6e9 (patch) | |
tree | 412087671746e89c147dd88e92340327404dfb1a /src/config.rs | |
parent | a81009607a304f5eadc96d5d1abf02fe9e3060a7 (diff) |
Support a hidden arg --no-custom-assets that skips loading assets from the cache
Diffstat (limited to 'src/config.rs')
-rw-r--r-- | src/config.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/config.rs b/src/config.rs index 6bb84ab9..2794d5f3 100644 --- a/src/config.rs +++ b/src/config.rs @@ -82,6 +82,10 @@ pub struct Config<'a> { /// Ranges of lines which should be highlighted with a special background color pub highlighted_lines: HighlightedLineRanges, + + /// Whether or not to allow custom assets. If this is false or if custom assets (a.k.a. + /// cached assets) are not available, assets from the binary will be used instead. + pub use_custom_assets: bool, } #[cfg(all(feature = "application", feature = "paging"))] |