xref: /aosp_15_r20/external/perfetto/ui/src/widgets/section.ts (revision 6dbdd20afdafa5e3ca9b8809fa73465d530080dc)
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