[webkit-reviews] review cancelled: [Bug 14732] [gtk] Rename *Gdk to *Gtk : [Attachment 15953] Rename files from *Gdk to *Gtk (first part)

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Fri Aug 17 08:05:26 PDT 2007

Juan A. Suárez Romero <jasuarez at igalia.com> has cancelled Juan A. Suárez Romero
<jasuarez at igalia.com>'s request for review:
Bug 14732: [gtk] Rename *Gdk to *Gtk

Attachment 15953: Rename files from *Gdk to *Gtk (first part)

------- Additional Comments from Juan A. Suárez Romero <jasuarez at igalia.com>
This patch changes the previous patch by adding a script to do the task.

At now, it renames all *Gdk files to *Gtk files, and updates the references in
the  source code.

Besides this, the new library is WebKitGtk (instead of WebKitGdk), and the
launcher becomes GtkLauncher.

Two changes are not done yet in this patch:

   * The scripts still uses "--gdk" option instead of "--gtk" option.
   * The directories were not renamed. This is due because we can't rename both
the directories and its contents at the same time. So this script only renames
the files inside the directories. ASAP they will be commited in the trunk, a
patch to rename the directories will be uploaded.
   * The functions were not renamed. So we have, as example, "RenderThemeGdk"
object instead of "RenderTheme". This task will be done in future.

More information about the webkit-reviews mailing list