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 {HTMLAnchorAttrs} from './common'; 17*6dbdd20aSAndroid Build Coastguard Worker 18*6dbdd20aSAndroid Build Coastguard Workerinterface AnchorAttrs extends HTMLAnchorAttrs { 19*6dbdd20aSAndroid Build Coastguard Worker // Optional icon to show at the end of the content. 20*6dbdd20aSAndroid Build Coastguard Worker icon?: string; 21*6dbdd20aSAndroid Build Coastguard Worker} 22*6dbdd20aSAndroid Build Coastguard Worker 23*6dbdd20aSAndroid Build Coastguard Workerexport class Anchor implements m.ClassComponent<AnchorAttrs> { 24*6dbdd20aSAndroid Build Coastguard Worker view({attrs, children}: m.CVnode<AnchorAttrs>) { 25*6dbdd20aSAndroid Build Coastguard Worker const {icon, ...htmlAttrs} = attrs; 26*6dbdd20aSAndroid Build Coastguard Worker 27*6dbdd20aSAndroid Build Coastguard Worker return m( 28*6dbdd20aSAndroid Build Coastguard Worker 'a.pf-anchor', 29*6dbdd20aSAndroid Build Coastguard Worker htmlAttrs, 30*6dbdd20aSAndroid Build Coastguard Worker children, 31*6dbdd20aSAndroid Build Coastguard Worker icon && m('i.material-icons', icon), 32*6dbdd20aSAndroid Build Coastguard Worker ); 33*6dbdd20aSAndroid Build Coastguard Worker } 34*6dbdd20aSAndroid Build Coastguard Worker} 35