diff options
author | Dan Davison <dandavison7@gmail.com> | 2020-06-09 10:05:08 -0400 |
---|---|---|
committer | Dan Davison <dandavison7@gmail.com> | 2020-06-09 10:05:08 -0400 |
commit | 39412bc493621ba4c752b087d09da0438769d979 (patch) | |
tree | 4a42abf52cedfa2fa47a84a814aa85a79960a702 | |
parent | 98a1f238e27ac847cdcc2336843be2754c236fae (diff) |
Bug fix: deprecated --theme option was not being honored
-rw-r--r-- | src/rewrite.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewrite.rs b/src/rewrite.rs index 38223ebd..e7c3b506 100644 --- a/src/rewrite.rs +++ b/src/rewrite.rs @@ -239,7 +239,7 @@ fn _rewrite_options_to_implement_deprecated_theme_option( arg_matches: Option<&clap::ArgMatches>, ) { if let Some(arg_matches) = arg_matches { - if user_supplied_option("theme", arg_matches) { + if user_supplied_option("deprecated-theme", arg_matches) { if let Some(syntax_theme) = opt.deprecated_theme.as_ref() { opt.syntax_theme = Some(syntax_theme.to_string()); } |