| 649 | } |
| 650 | } |
| 651 | writePreferences() { |
| 652 | this.controlsCurrent = this.VERTICAL_DIVIDER.behavior.current; |
| 653 | this.controlsStatus = this.VERTICAL_DIVIDER.behavior.status; |
| 654 | try { |
| 655 | let content; |
| 656 | let preferences = { |
| 657 | colors: this.colors, |
| 658 | controlsCurrent: this.controlsCurrent, |
| 659 | controlsStatus: this.controlsStatus, |
| 660 | infoStatus: this.infoStatus, |
| 661 | devicesPath: this.devicesPath, |
| 662 | deviceIndex: this.deviceIndex, |
| 663 | deviceRotation: this.deviceRotation, |
| 664 | }; |
| 665 | let string = JSON.stringify(preferences, null, "\t"); |
| 666 | system.writePreferenceString("main", string); |
| 667 | } |
| 668 | catch(e) { |
| 669 | } |
| 670 | } |
| 671 | } |
| 672 | |
| 673 | const pixelFormatNames = [ |