WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED DUPLICATE of
bug 14732
14497
[GDK] Rename "gdk" port to "gtk"
https://bugs.webkit.org/show_bug.cgi?id=14497
Summary
[GDK] Rename "gdk" port to "gtk"
Alp Toker
Reported
2007-07-02 10:57:35 PDT
The "gdk" naming convention is a historical quirk that we should fix now that this is clearly a GTK+ port. This does not preclude the possibility of a gdk-only port if someone wants to pick up work on that project again, as it can be done under the umbrella of the GTK+ port. The renaming can be done in a few steps: Update the build files Rename 'gdk' directories Rename files named FooGdk.(cpp|h) Rename classes named like FooGdk
Attachments
Add attachment
proposed patch, testcase, etc.
Juan A. Suarez
Comment 1
2007-08-17 09:07:40 PDT
This bug is a duplicate of #14732
Holger Freyther
Comment 2
2007-09-23 14:52:40 PDT
*** This bug has been marked as a duplicate of
14732
***
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