Bug 75439

Summary:

[GTK] GtkLauncher settings improvements

Product:

WebKit

Reporter:

Philippe Normand <pnormand>

Component:

WebKitGTK

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

cgarcia

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
proposed patch	mrobinson: review+

Description Philippe Normand 2012-01-02 08:57:51 PST

Carlos spotted some issues in the WebSettings code of the launcher:

https://bugs.webkit.org/show_bug.cgi?id=73773#c5

Will attach a patch to fix those.

Comment 1 Philippe Normand 2012-01-02 09:00:48 PST

Created attachment 120884 [details]
proposed patch

Comment 2 Philippe Normand 2012-01-03 00:05:20 PST

Committed r103927: <http://trac.webkit.org/changeset/103927>