mirror of
https://github.com/servo/servo.git
synced 2025-08-08 06:55:31 +01:00
remove mozbrowser code
This commit is contained in:
parent
e7c754fb64
commit
da349ee8a9
22 changed files with 78 additions and 1003 deletions
|
@ -609,7 +609,7 @@ pub fn from_cmdline_args(args: &[String]) -> ArgumentParsingResult {
|
|||
opts.optopt("", "content-process" , "Run as a content process and connect to the given pipe",
|
||||
"servo-ipc-channel.abcdefg");
|
||||
opts.optmulti("", "pref",
|
||||
"A preference to set to enable", "dom.mozbrowser.enabled");
|
||||
"A preference to set to enable", "dom.bluetooth.enabled");
|
||||
opts.optflag("b", "no-native-titlebar", "Do not use native titlebar");
|
||||
opts.optflag("w", "webrender", "Use webrender backend");
|
||||
opts.optopt("G", "graphics", "Select graphics backend (gl or es2)", "gl");
|
||||
|
|
|
@ -228,10 +228,6 @@ impl Preferences {
|
|||
self.0.read().unwrap().clone()
|
||||
}
|
||||
|
||||
pub fn is_mozbrowser_enabled(&self) -> bool {
|
||||
self.get("dom.mozbrowser.enabled").as_boolean().unwrap_or(false)
|
||||
}
|
||||
|
||||
pub fn set(&self, name: &str, value: PrefValue) {
|
||||
let mut prefs = self.0.write().unwrap();
|
||||
if let Some(pref) = prefs.get_mut(name) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue