From b85ea96d1e6687fd81b1fabcc592a3bf7d68985f Mon Sep 17 00:00:00 2001 From: gorhill Date: Tue, 21 Nov 2017 13:38:31 -0500 Subject: [PATCH] fix #3257 --- src/js/scriptlets/element-picker.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/js/scriptlets/element-picker.js b/src/js/scriptlets/element-picker.js index c3bd4faa8..c24ad44f8 100644 --- a/src/js/scriptlets/element-picker.js +++ b/src/js/scriptlets/element-picker.js @@ -768,7 +768,7 @@ var filterToDOMInterface = (function() { var elems; if ( o.style ) { elems = document.querySelectorAll(o.style[0]); - lastAction = o.style.join(' '); + lastAction = o.style[0] + ' {' + o.style[1] + '}'; } else if ( o.tasks ) { elems = vAPI.domFilterer.createProceduralFilter(o).exec(); }