| Index: shell/src/PrefsCommand.cpp |
| diff --git a/shell/src/PrefsCommand.cpp b/shell/src/PrefsCommand.cpp |
| index 8da6bb671befeaa5f0726ce95a85324a4149693b..76ab12dfa70fe69f212ed10c841a3845e994d620 100644 |
| --- a/shell/src/PrefsCommand.cpp |
| +++ b/shell/src/PrefsCommand.cpp |
| @@ -69,19 +69,19 @@ void PrefsCommand::operator()(const std::string& arguments) |
| { |
| std::string value; |
| std::getline(argumentStream, value); |
| - filterEngine.SetPref(pref, filterEngine.GetJsEngine()->NewValue(value)); |
| + filterEngine.SetPref(pref, filterEngine.GetJsEngine().NewValue(value)); |
| } |
| else if (current.IsNumber()) |
| { |
| int64_t value; |
| argumentStream >> value; |
| - filterEngine.SetPref(pref, filterEngine.GetJsEngine()->NewValue(value)); |
| + filterEngine.SetPref(pref, filterEngine.GetJsEngine().NewValue(value)); |
| } |
| else if (current.IsBool()) |
| { |
| bool value; |
| argumentStream >> value; |
| - filterEngine.SetPref(pref, filterEngine.GetJsEngine()->NewValue(value)); |
| + filterEngine.SetPref(pref, filterEngine.GetJsEngine().NewValue(value)); |
| } |
| else |
| std::cout << "Cannot set a preference of unknown type" << std::endl; |