[webkit-dev] User Stylesheets changes I'd like to make
rik24d at gmail.com
Fri Sep 4 14:49:55 PDT 2009
Is it possible to support liveness when Developer Tools are enabled ?
Le 4 sept. 2009 à 22:02, David Hyatt a écrit :
> 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.
> Automatic liveness seems like a non-goal other than for user
> stylesheet *developers*, and having to examine local files every
> time you open a new tab/window just to support developers seems like
> the wrong trade-off to me. That this is happening in the engine
> process can't be good for Chrome either, and going forward we should
> be discouraging file accesses like this from being done inside
> (hyatt at apple.com)
> On Sep 4, 2009, at 2:52 PM, Tor Arne Vestbø wrote:
>> 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
>>> local files from its UI for user stylesheets, the preference
>>> itself is a
>>> URL. Because of this, the current code is making an assumption that
>>> remote URLs should be allowed to work as user stylesheets. On Mac
>>> and Qt
>>> only, we have a UserStyleSheetLoader object that is dealing with
>>> URLs. Other platforms seem to just not support this.
>>> I would like to eliminate this object on all platforms.
>> Sounds good.
>> Tor Arne
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
More information about the webkit-dev