[webkit-dev] User Stylesheets changes I'd like to make

2009-09-04 Thread David Hyatt
Right now the user stylesheet location is stored as a URL. This is based off ancient history, namely that we happened to store the preference this way on Mac. Even though Safari only allows you to pick local files from its UI for user stylesheets, the preference itself is a URL. Because

Re: [webkit-dev] User Stylesheets changes I'd like to make

2009-09-04 Thread Tor Arne Vestbø
On 9/4/09 9:47 PM, David Hyatt wrote: Right now the user stylesheet location is stored as a URL. This is based off ancient history, namely that we happened to store the preference this way on Mac. Even though Safari only allows you to pick local files from its UI for user stylesheets, the

Re: [webkit-dev] User Stylesheets changes I'd like to make

2009-09-04 Thread David Hyatt
A second change I would like to make is to eliminate the liveness of the sheet.. With support coming online for both injected user scripts and user stylesheets, I expect that a better way to deal with this is to have a Develop menu item (or inspector item) to reload all user content.