export class Menu { /**
     * initialization
     */ static init ( ) { document . getElementById ( "defaultOpen" ) . click ( ) ; } param pageName param elmnt description static openPage ( pageName , elmnt ) { const tabcontent = document . getElementsByClassName ( "tabcontent" ) ; for ( let i = 0 ; i < tabcontent . length ; i ++ ) { ( < HTMLElement > tabcontent [ i ] ) . style . display = "none" ; } const tablinks = document . getElementsByClassName ( "tablink" ) ; for ( let i = 0 ; i < tablinks . length ; i ++ ) { tablinks [ i ] . classList . remove ( "selected" ) ; } document . getElementById ( pageName ) . style . display = "block" ; elmnt . classList . add ( "selected" ) ; } description static toggle ( ) { if ( Menu . isShown ( ) ) { Menu . hide ( ) ; } else { Menu . show ( ) ; } } return static getMenu ( ) { return document . getElementById ( "menu" ) ; } description static hide ( ) { Menu . getMenu ( ) . classList . remove ( "menuShow" ) ; Menu . getMenu ( ) . classList . add ( "menuHide" ) ; if ( document . activeElement instanceof HTMLElement ) document . activeElement . blur ( ) ; } description static show ( ) { Menu . getMenu ( ) . classList . add ( "menuShow" ) ; Menu . getMenu ( ) . classList . remove ( "menuHide" ) ; } static openPageShare ( ) { Menu . openPage ( "Share" , document . getElementById ( "tabShare" ) ) ; } returns static isShown ( ) { return Menu . getMenu ( ) . classList . contains ( "menuShow" ) ; } }