WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
73468
[WK2][GTK] Change default-font-size and default-monospace-font-size
https://bugs.webkit.org/show_bug.cgi?id=73468
Summary
[WK2][GTK] Change default-font-size and default-monospace-font-size
Nayan Kumar K
Reported
2011-11-30 10:56:08 PST
Change the default-font-size and default-monospace-font-size to 16px and 13px respectively.
Attachments
Patch
(2.30 KB, patch)
2011-11-30 11:00 PST
,
Nayan Kumar K
no flags
Details
Formatted Diff
Diff
Patch
(3.98 KB, patch)
2011-11-30 11:48 PST
,
Nayan Kumar K
no flags
Details
Formatted Diff
Diff
Show Obsolete
(1)
View All
Add attachment
proposed patch, testcase, etc.
Nayan Kumar K
Comment 1
2011-11-30 11:00:43 PST
Created
attachment 117224
[details]
Patch
WebKit Review Bot
Comment 2
2011-11-30 11:06:37 PST
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See
http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Nayan Kumar K
Comment 3
2011-11-30 11:48:53 PST
Created
attachment 117240
[details]
Patch
WebKit Review Bot
Comment 4
2011-12-01 09:49:42 PST
Comment on
attachment 117240
[details]
Patch Clearing flags on attachment: 117240 Committed
r101680
: <
http://trac.webkit.org/changeset/101680
>
WebKit Review Bot
Comment 5
2011-12-01 09:49:47 PST
All reviewed patches have been landed. Closing bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug