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

[bugzilla-daemon at webkit.org]

Juan A. Suárez Romero <jasuarez at igalia.com> has asked  for review:
Bug 14732: [gtk] Rename *Gdk to *Gtk
http://bugs.webkit.org/show_bug.cgi?id=14732

Attachment 16008: Rename files from *Gdk to *Gtk (first part).
http://bugs.webkit.org/attachment.cgi?id=16008&action=edit

------- 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.