| 544 | } |
| 545 | }, |
| 546 | indentchar = function dom_load_indentchar():void { |
| 547 | const insize:HTMLInputElement = id("option-indent_size"), |
| 548 | inchar:HTMLInputElement = id("option-indent_char"); |
| 549 | if (test.ace === true) { |
| 550 | if (inchar !== null && inchar.value === " ") { |
| 551 | aceStore |
| 552 | .codeIn |
| 553 | .getSession() |
| 554 | .setUseSoftTabs(true); |
| 555 | aceStore |
| 556 | .codeOut |
| 557 | .getSession() |
| 558 | .setUseSoftTabs(true); |
| 559 | if (insize !== null && isNaN(Number(insize.value)) === false) { |
| 560 | aceStore |
| 561 | .codeIn |
| 562 | .getSession() |
| 563 | .setTabSize(Number(inchar.value)); |
| 564 | aceStore |
| 565 | .codeOut |
| 566 | .getSession() |
| 567 | .setTabSize(Number(inchar.value)); |
| 568 | } |
| 569 | } else { |
| 570 | aceStore |
| 571 | .codeIn |
| 572 | .getSession() |
| 573 | .setUseSoftTabs(false); |
| 574 | aceStore |
| 575 | .codeOut |
| 576 | .getSession() |
| 577 | .setUseSoftTabs(false); |
| 578 | } |
| 579 | } |
| 580 | }, |
| 581 | insize = function dom_load_insize():void { |
| 582 | const el:HTMLInputElement = id("option-indent_size"); |
| 583 | if (test.ace === true) { |