⚠ Archived content — this site is no longer maintained.   Current WebKit documentation is at docs.webkit.org.

Changeset 160172 in webkit


Ignore:
Timestamp:
Dec 5, 2013, 5:31:02 AM (13 years ago)
Author:
Carlos Garcia Campos
Message:

[GTK] Add missing symbols to WebKitDOMDeprecated.symbols
​https://bugs.webkit.org/show_bug.cgi?id=125300

Reviewed by Philippe Normand.

Add webkit_dom_html_element_get_id and
webkit_dom_html_element_set_id to the symbols files.

  • bindings/gobject/WebKitDOMDeprecated.symbols:
  • bindings/gobject/webkitdom.symbols:
Location:
trunk/Source/WebCore
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • trunk/Source/WebCore/ChangeLog

    r160168 r160172  
     12013-12-05  Carlos Garcia Campos  <cgarcia@igalia.com>
     2
     3        [GTK] Add missing symbols to WebKitDOMDeprecated.symbols
     4        https://bugs.webkit.org/show_bug.cgi?id=125300
     5
     6        Reviewed by Philippe Normand.
     7
     8        Add webkit_dom_html_element_get_id and
     9        webkit_dom_html_element_set_id to the symbols files.
     10
     11        * bindings/gobject/WebKitDOMDeprecated.symbols:
     12        * bindings/gobject/webkitdom.symbols:
     13
    1142013-12-05  Carlos Garcia Campos  <cgarcia@igalia.com>
    215

  • trunk/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.symbols

    r159614 r160172  
    11WebKitDOMBlob* webkit_dom_blob_webkit_slice(WebKitDOMBlob*, gint64, gint64, const gchar*)
     2gchar* webkit_dom_html_element_get_id(WebKitDOMHTMLElement*)
     3void webkit_dom_html_element_set_id(WebKitDOMHTMLElement*, const gchar*)
    24gchar* webkit_dom_html_element_get_class_name(WebKitDOMHTMLElement*)
    35void webkit_dom_html_element_set_class_name(WebKitDOMHTMLElement*, const gchar*)

  • trunk/Source/WebCore/bindings/gobject/webkitdom.symbols

    r160168 r160172  
    13201320gchar* webkit_dom_video_track_get_language(WebKitDOMVideoTrack*)
    13211321WebKitDOMBlob* webkit_dom_blob_webkit_slice(WebKitDOMBlob*, gint64, gint64, const gchar*)
     1322gchar* webkit_dom_html_element_get_id(WebKitDOMHTMLElement*)
     1323void webkit_dom_html_element_set_id(WebKitDOMHTMLElement*, const gchar*)
    13221324gchar* webkit_dom_html_element_get_class_name(WebKitDOMHTMLElement*)
    13231325void webkit_dom_html_element_set_class_name(WebKitDOMHTMLElement*, const gchar*)
Note: See TracChangeset for help on using the changeset viewer.