 Gildas
|
39d27d9531
redesigned options page
|
hace 7 años |
|
Gildas
|
6b1a19cdb3
set 2nd level option margin to 10px
|
hace 7 años |
|
Gildas
|
a4fc395bd9
added an option to disable max size limit
|
hace 7 años |
|
Gildas
|
c9aa95e547
added 'maximum size of embedded resource" option
|
hace 7 años |
|
Gildas
|
080d1d82b0
set max-width style for the main div
|
hace 7 años |
|
Gildas
|
f5e3f9bb69
better looking options page in Firefox
|
hace 7 años |
|
Gildas
|
c0d4281c69
minor UI fixes
|
hace 7 años |
|
Gildas
|
a95fe1c45a
replaced options page with embedded options page
|
hace 7 años |
|
Gildas
|
e11548173b
bump version :)
|
hace 7 años |
