1*6dbdd20aSAndroid Build Coastguard Worker// Copyright (C) 2023 The Android Open Source Project 2*6dbdd20aSAndroid Build Coastguard Worker// 3*6dbdd20aSAndroid Build Coastguard Worker// Licensed under the Apache License, Version 2.0 (the "License"); 4*6dbdd20aSAndroid Build Coastguard Worker// you may not use this file except in compliance with the License. 5*6dbdd20aSAndroid Build Coastguard Worker// You may obtain a copy of the License at 6*6dbdd20aSAndroid Build Coastguard Worker// 7*6dbdd20aSAndroid Build Coastguard Worker// http://www.apache.org/licenses/LICENSE-2.0 8*6dbdd20aSAndroid Build Coastguard Worker// 9*6dbdd20aSAndroid Build Coastguard Worker// Unless required by applicable law or agreed to in writing, software 10*6dbdd20aSAndroid Build Coastguard Worker// distributed under the License is distributed on an "AS IS" BASIS, 11*6dbdd20aSAndroid Build Coastguard Worker// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12*6dbdd20aSAndroid Build Coastguard Worker// See the License for the specific language governing permissions and 13*6dbdd20aSAndroid Build Coastguard Worker// limitations under the License. 14*6dbdd20aSAndroid Build Coastguard Worker 15*6dbdd20aSAndroid Build Coastguard Workerimport m from 'mithril'; 16*6dbdd20aSAndroid Build Coastguard Workerimport {HTMLAttrs} from './common'; 17*6dbdd20aSAndroid Build Coastguard Worker 18*6dbdd20aSAndroid Build Coastguard Workerexport interface SectionAttrs extends HTMLAttrs { 19*6dbdd20aSAndroid Build Coastguard Worker // The name of the section, displayed in the title bar 20*6dbdd20aSAndroid Build Coastguard Worker title: string; 21*6dbdd20aSAndroid Build Coastguard Worker} 22*6dbdd20aSAndroid Build Coastguard Worker 23*6dbdd20aSAndroid Build Coastguard Workerexport class Section implements m.ClassComponent<SectionAttrs> { 24*6dbdd20aSAndroid Build Coastguard Worker view({attrs, children}: m.CVnode<SectionAttrs>) { 25*6dbdd20aSAndroid Build Coastguard Worker const {title, ...htmlAttrs} = attrs; 26*6dbdd20aSAndroid Build Coastguard Worker return m( 27*6dbdd20aSAndroid Build Coastguard Worker 'section.pf-section', 28*6dbdd20aSAndroid Build Coastguard Worker htmlAttrs, 29*6dbdd20aSAndroid Build Coastguard Worker m('header', m('h1', title)), 30*6dbdd20aSAndroid Build Coastguard Worker m('article', children), 31*6dbdd20aSAndroid Build Coastguard Worker ); 32*6dbdd20aSAndroid Build Coastguard Worker } 33*6dbdd20aSAndroid Build Coastguard Worker} 34