Run js by webextension.
authorDaniel Carl <danielcarl@gmx.de>
Thu, 20 Apr 2017 23:07:48 +0000 (01:07 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Thu, 20 Apr 2017 23:10:38 +0000 (01:10 +0200)
commit0035771d5a174e6d96bf1b1c66fde4813fcd6135
tree28dc9f10e610136acf7e79c48c8f3de416ec1db1
parent5f65084c7082b71f4509e1b17841f8fbff80d918
Run js by webextension.

Make sure all the scripts we run internally are also evaluated in case
js is disabled.
src/ex.c
src/ext-proxy.c
src/ext-proxy.h
src/input.c
src/normal.c
src/webextension/ext-main.c
src/webextension/ext-util.c
src/webextension/ext-util.h