{
"version":3,
"file":"NumberTextBox.js",
"lineCount":2,
"mappings":"A;AACAA,MAAA,yGAIG,QAAA,CAASC,CAAT,CAAiBC,CAAjB,CAA+BC,CAA/B,QAEKF,EAAA,CAAQE,CAAR,gBAISC,QAAAA,IACTC,aADSD,GACSE,aADTF,EAEbF,CAAAK,gBAAA,CAA8BC,YAA9B,CAFaJ,CAJT,UAcIK,QAAAA,CAASC,CAATD,EACTE,cAAA,CAAeC,SAAf,CADSH,UAGJC,CAHID,GAGeI,oBAAA,EAHfJ,EAIRL,kBAAA,EAJQK,CAdJ,EAFL,CAJH;",
"sources":["NumberTextBox.js.uncompressed.js"],
"names":["define","declare","_TextBoxMixin","NumberTextBox","selectAllText","disabled","readOnly","selectInputText","textbox","_onFocus","by","inherited","arguments","_isTextSelected"]
}