 Gildas
|
08496cf0e5
bump version
|
преди 7 години |
|
Gildas
|
cbfb00e192
removed obsolete code
|
преди 7 години |
|
Gildas
|
50c46684dc
cleanup page before serializing it
|
преди 7 години |
|
Gildas
|
52e5dd678c
bump version
|
преди 7 години |
|
Gildas
|
afdd2b6d73
user bg fetch only as fallback
|
преди 7 години |
|
Gildas
|
c0c6e427a8
don't use array to store rules
|
преди 7 години |
|
Gildas
|
7c909083c3
bump version
|
преди 7 години |
|
Gildas
|
9d7ff4be7b
minor UI changes
|
преди 7 години |
|
Gildas
|
a02fe2f499
always call the progress listener
|
преди 7 години |
|
Gildas
|
3500432ff0
call progress listener sooner
|
преди 7 години |
|
Gildas
|
fc9e600851
moved WIN_ID_ATTRIBUTE_NAME into common.js
|
преди 7 години |
|
Gildas
|
48b18f6395
bump version
|
преди 7 години |
|
Gildas
|
84ef1b88ea
minor UI fix for firefox
|
преди 7 години |
|
Gildas
|
63195bca23
bump version
|
преди 7 години |
|
Gildas
|
e380f1f008
use box-sizing: border-box for the body
|
преди 7 години |
|
Gildas
|
e221df7e4c
fixed clear timeout call
|
преди 7 години |
|
Gildas
|
950161a637
reset all styles of singlefile ui elements
|
преди 7 години |
|
Gildas
|
cae6033406
bump version
|
преди 7 години |
|
Gildas
|
b9ca2e843b
removed extra parameter
|
преди 7 години |
|
Gildas
|
67a698bcc0
bump version
|
преди 7 години |
|
Gildas
|
c83e65b1d5
display shadow sooner
|
преди 7 години |
|
Gildas
|
261d5dfbd5
Merge branch 'master' of https://github.com/gildas-lormeau/SingleFile
|
преди 7 години |
|
Gildas
|
c1998beac3
added new label icon state during initialization
|
преди 7 години |
 Gildas Lormeau
|
fb4ff8f8e9
Update README.MD
|
преди 7 години |
|
Gildas
|
2923e449b0
use safer timeouts with shorter delays
|
преди 7 години |
|
Gildas
|
006fd7b340
use dashes in file names
|
преди 7 години |
|
Gildas
|
be56406310
renamed common.js to docHelper.js
|
преди 7 години |
|
Gildas
|
3ba231c910
moved code into common.js
|
преди 7 години |
|
Gildas
|
cf9fb8bf46
moved common code into common.js
|
преди 7 години |
|
Gildas
|
e70ba07b54
refactored DOM class
|
преди 7 години |
