Comments by Jasper de Vries on scripts
10 comments
|
Comment on: |
Thanks, Chris! I've modified it. |
|
Comment on: |
I made a quick version on Improbulus' (A Consuming Experience) request. I was planning to add some more (basic) features. That's why I've chosen a user script. To only change the font you could use Stylish. |
|
Comment on: |
The select filter no longer breaks optgroups. |
|
Comment on: |
I've changed the script to no longer rely on the first DIV. Thanks for informing me about the problem. |
|
Comment on: |
You can use this script with Firefox 1.5 and Greasemonkey 0.6.4 now. |
|
Comment on: |
This script works fine for me with Greasemonkey 0.6.4. |
|
Comment on: |
I finally had time to fix it |
|
Comment on: |
I need to update this script to work in GM 0.6.4. I'll put a new version here as soon as I've got time to work on it. |
|
Comment on: |
I need to update this script to work in GM 0.6.4. I'll put a new version here as soon as I've got time to work on it. |
|
Comment on: |
You're right.. optgroups is something that needs attention in the next version. (Same goes for the other todo's mentioned in the source). |
