Changeset 245027 in webkit


Ignore:
Timestamp:
May 7, 2019 1:29:17 PM (5 years ago)
Author:
Adrian Perez de Castro
Message:

[GTK][WPE] Cannot build documentation with gtk-doc
https://bugs.webkit.org/show_bug.cgi?id=197663

Reviewed by Philippe Normand.

  • UIProcess/API/glib/WebKitSettings.cpp:

(webkit_settings_class_init): Escape content which gets wrongly interpreted as
SGML tags by gtk-doc as Markdown preformatted content, which fits well for the
tag names in the documentation for the WebKitSettings:enable-media property.

Location:
trunk/Source/WebKit
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/Source/WebKit/ChangeLog

    r245025 r245027  
     12019-05-07  Adrian Perez de Castro  <aperez@igalia.com>
     2
     3        [GTK][WPE] Cannot build documentation with gtk-doc
     4        https://bugs.webkit.org/show_bug.cgi?id=197663
     5
     6        Reviewed by Philippe Normand.
     7
     8        * UIProcess/API/glib/WebKitSettings.cpp:
     9        (webkit_settings_class_init): Escape content which gets wrongly interpreted as
     10        SGML tags by gtk-doc as Markdown preformatted content, which fits well for the
     11        tag names in the documentation for the WebKitSettings:enable-media property.
     12
    1132019-05-07  John Wilander  <wilander@apple.com>
    214
  • trunk/Source/WebKit/UIProcess/API/glib/WebKitSettings.cpp

    r244260 r245027  
    15061506     *
    15071507     * Enable or disable support for media playback on pages. This setting is enabled by
    1508      * default. Disabling it means <audio>, <track> and <video> elements will have
     1508     * default. Disabling it means `<audio>`, `<track>` and `<video>` elements will have
    15091509     * playback support disabled.
    15101510     *
Note: See TracChangeset for help on using the changeset viewer.