docs: function ThemeSwitcher(options) {
              var _this = _super.call(this, options) || this;
              switch (ui_1.Theme.getCurrentUIPlatform()) {
                  case "ios":
                      _this.$el.find("#gallery-theme-ios").prop("checked", true);
                      break;
                  case "android":
                      _this.$el.find("#gallery-theme-android").prop("checked", true);
                      break;
                  default:
                      ui_1.Toast.show(TAG + "\n unknown platform.");
                      _this.$el.find("#gallery-theme-default").prop("checked", true);
                      break;
              }
              _this.$el.find("input[name='segmented-control-platform-theme']").checkboxradio("refresh");
              return _this;
          }