Changeset 172406 in webkit

Timestamp:

Aug 11, 2014 1:07:51 PM (10 years ago)

Author:

commit-queue@webkit.org

Message:

Add Private WKPreferences API for developer extras (show inspector)
​https://bugs.webkit.org/show_bug.cgi?id=135811

Patch by Joseph Pecoraro <Joseph Pecoraro> on 2014-08-11
Reviewed by Timothy Hatcher.

• UIProcess/API/Cocoa/WKPreferences.mm:

(-[WKPreferences _developerExtrasEnabled]):
(-[WKPreferences _setDeveloperExtrasEnabled:]):

• UIProcess/API/Cocoa/WKPreferencesPrivate.h:

Location:

trunk/Source/WebKit2

Files:

• ChangeLog (modified) (1 diff)
• UIProcess/API/Cocoa/WKPreferences.mm (modified) (1 diff)
• UIProcess/API/Cocoa/WKPreferencesPrivate.h (modified) (1 diff)

trunk/Source/WebKit2/ChangeLog

@@ +1 @@
+2014-08-11  Joseph Pecoraro  <pecoraro@apple.com>
+
+        Add Private WKPreferences API for developer extras (show inspector)
+        https://bugs.webkit.org/show_bug.cgi?id=135811
+
+        Reviewed by Timothy Hatcher.
+
+        * UIProcess/API/Cocoa/WKPreferences.mm:
+        (-[WKPreferences _developerExtrasEnabled]):
+        (-[WKPreferences _setDeveloperExtrasEnabled:]):
+        * UIProcess/API/Cocoa/WKPreferencesPrivate.h:
+
 2014-08-08  Enrica Casucci  <enrica@apple.com>
 

trunk/Source/WebKit2/UIProcess/API/Cocoa/WKPreferences.mm

@@ -204 +204 @@
 }
 
+- (BOOL)_developerExtrasEnabled
+{
+    return _preferences->developerExtrasEnabled();
+}
+
+- (void)_setDeveloperExtrasEnabled:(BOOL)developerExtrasEnabled
+{
+    _preferences->setDeveloperExtrasEnabled(developerExtrasEnabled);
+}
+
 @end
 

trunk/Source/WebKit2/UIProcess/API/Cocoa/WKPreferencesPrivate.h

@@ -48 +48 @@
 @property (nonatomic, setter=_setTiledScrollingIndicatorVisible:) BOOL _tiledScrollingIndicatorVisible;
 
+@property (nonatomic, setter=_setDeveloperExtrasEnabled:) BOOL _developerExtrasEnabled;
+
 // FIXME: This should be configured on the WKWebsiteDataStore.
 // FIXME: This property should not have the verb "is" in it.