Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix rebasing error

Browse source 
This PR mistakenly removed JIT enabling/disabling by preference:
https://github.com/servo/servo/pull/10342/files
Look for `get_pref`.

I'm putting the missing piece of code into the appropriate place in
script_runtime.rs
This commit is contained in:
Stjepan Glavina 2016-04-07 22:49:13 +02:00
parent 39ab006c8f
commit 4f34422474
2 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/script_thread.rs
View file

@ -101,7 +101,6 @@ use task_source::user_interaction::UserInteractionTaskSource;
use time::Tm;
use url::Url;
use util::opts;
use util::prefs::get_pref;
use util::str::DOMString;
use util::thread;
use util::thread_state;