16098 2007-11-22 21:10:13 -0800 [GTK] Header and source file names need to be updated 2007-12-18 13:30:37 -0800 1 1 1 Unclassified WebKit WebKitGTK 528+ (Nightly build) All All RESOLVED FIXED Gtk P2 Normal --- 15691 1 alp webkit-unassigned sven oldest_to_newest 62046 0 alp 2007-11-22 21:10:13 -0800 We still have names like webkitgtkframe.h and webkitgtkpage.h -- we didn't drop "gtk" from the filenames at the same time we dropped it from the API. Changing this will require modifications in existing third party application code, so it should be done in one go to minimise the inconvenience. We should fix this at the same time or after we fix #15691 (the API refactoring). 64664 1 christian 2007-12-18 13:30:37 -0800 This was fixed with bug 15691.