()
| 105528 | return arr2; |
| 105529 | } |
| 105530 | function getDefaultCharacterSet() { |
| 105531 | var charSet = []; |
| 105532 | for(var i = 32; i < 128; i++)charSet.push(String.fromCharCode(i)); |
| 105533 | return charSet; |
| 105534 | } |
| 105535 | var DEFAULT_CHAR_SET = getDefaultCharacterSet(); |
| 105536 | var DEFAULT_FONT_FAMILY = "Monaco, monospace"; |
| 105537 | var DEFAULT_FONT_WEIGHT = "normal"; |