390733affe
Chrome: don't open an Options tab for each window
10 years ago
04a2486ca9
Remove unnecessary fallback code for downloading
10 years ago
58793e4d7c
this helps #993
10 years ago
806d89e443
this fixes #967
10 years ago
193b469ffe
Trailing whitespace
10 years ago
b5e7c9cd03
code review
10 years ago
ca8d24fb08
this fixes #862
10 years ago
754aa6cd8b
move profiling code to platform-specific
10 years ago
6123bff635
link to relevant jsperf
10 years ago
b66683a581
avoid closures when processing messages
10 years ago
184aec1409
code review
10 years ago
a0de897608
code review: jshint'ed
10 years ago
d50594e7eb
this fixes #536
10 years ago
529258de44
started work on #105 , #475 , and possibly #510
10 years ago
f4a853c611
this fixes one part of #498
10 years ago
14950c0c5f
Code styling
10 years ago
847f86f947
Make vAPI.setIcon less Chromium specific
10 years ago
c04c4ad4ab
Chrome,Safari: fix typo and quotes
10 years ago
42d69aba2d
Add license headers, plus some code styling
10 years ago
706a51c211
Firefox: blocking and content scripts for e10s
10 years ago
c752853031
lot of work related to dynamic filtering + new net requests logger
10 years ago
ed30222601
this fixes #455
10 years ago
2a108917b5
another round of work re dynamic filtering
10 years ago
ce9acac0ae
this fixes #418 ; also remove last chrome API reference from portable code
10 years ago
9515769fb5
extension restart is platform-dependent
10 years ago
dccbbb3879
remove depending on vapi-appinfo.js
10 years ago
c168d050f0
code review, fixes #383
10 years ago
6d5361cebc
this fixes #380
10 years ago
97ca80d8bc
use "platform" as suggested in #360
10 years ago
ec6ad5ab80
use "platform" as suggested in #360
10 years ago
e9accabf13
jshint
10 years ago
0f7ce05de2
Ports cleanup
...
- Remove duplicate platform specific (from src/) and other unnecessary
files
- Fix and update vapi-*.js files for Safari
- Add tools/make-safari.sh
- Move js/vapi-appinfo.js to meta/ (so, every vendor specific file will be
at the same location)
10 years ago
ff6c553fb2
more spurious warnings in console foiled
10 years ago
b9a1cab269
oops
10 years ago
2730d5954b
fix spurious warning in console
10 years ago
eb22ee51b3
avoid memory leaks in case no request handler found
10 years ago
2310d01835
requests must be deemed unhandled by default
10 years ago
a2e45a024f
now it's fixed...
10 years ago
2c209ab8d3
fix bug introduced in 338bf595078d0a7e52c70edd93f7b866dd00d314
10 years ago
8436f11e5a
code review
10 years ago
789bfe09f6
eliminate overhead of creating two funcs/closure for each port connection
10 years ago
0a0c011960
give specific message handlers priority over default one
10 years ago
aa1f793963
continued: corralling platform-specific stuff into their meta folder
10 years ago
d09bbb3e1e
further separate platform-specific code
10 years ago
fccb781950
Ports cleanup
...
- Remove duplicate platform specific (from src/) and other unnecessary
files
- Fix and update vapi-*.js files for Safari
- Add tools/make-safari.sh
- Move js/vapi-appinfo.js to meta/ (so, every vendor specific file will be
at the same location)
10 years ago
bd5492654f
give specific message handlers priority over default one
10 years ago
c3178cd442
Only top window should have type `main_frame`
10 years ago
8eb76e880c
Building extension files
...
Adds possibility to build extension files (Chrome and Safari) from
command line.
To run from the project directory:
python tools/build.py [meta]
If the optional `meta` argument is set, then only the manifest and
language files are uptated.
Without that everything is being built (extension files too) into the
`dist/build/version_number` folder.
For Chrome there will be two files, a crx, and a .zip file which
includes the key.pem private key (so this must not be shared,
it's just a bit help for publishing it to the Chrome Web Store).
Beside the extension files, update-files are generated too (for self
hosting - Safari needs it).
10 years ago
29eabd44fd
Fix messaging for Safari
10 years ago
872a478f91
Preferences button for Safari
...
Brings back the possibility to click a checkbox which opens the extension
settings from Safari's Preferences/Extensions.
10 years ago
Deathamns