0ce7d11e52
Applied to existing filter and format. Added embedded_video filter (initially contribute by Javier Velilla).
35 lines
566 B
Plaintext
35 lines
566 B
Plaintext
note
|
|
description: "Summary description for {VIDEO_HTML_CONTENT_FORMAT}."
|
|
author: ""
|
|
date: "$Date: 2015-07-10 13:38:10 +0200 (ven., 10 juil. 2015) $"
|
|
revision: "$Revision: 97687 $"
|
|
|
|
class
|
|
VIDEO_HTML_CONTENT_FORMAT
|
|
|
|
inherit
|
|
|
|
CONTENT_FORMAT
|
|
redefine
|
|
default_create
|
|
end
|
|
|
|
feature {NONE} -- Initialization
|
|
|
|
default_create
|
|
do
|
|
Precursor
|
|
create filters.make (0)
|
|
filters.force (create {VIDEO_CONTENT_FILTER})
|
|
end
|
|
|
|
feature -- Access
|
|
|
|
name: STRING = "video_html"
|
|
|
|
title: STRING_8 = "Video HTML content"
|
|
|
|
filters: ARRAYED_LIST [CONTENT_FILTER]
|
|
|
|
end
|