- Don't load jqueryui plugin, it's required now by default - Move datepicke...

alecpl

2012-01-01 89c30a00a71988c8db632f8f3cc94ed241bdaa1f

 program/js/app.js

@@ -4200,7 +4200,6 @@
        yearRange: '-100:+10',
        showOtherMonths: true,
        selectOtherMonths: true,
        monthNamesShort: this.env.month_names,
        onSelect: function(dateText) { $(this).focus().val(dateText) }
      });
      $('input.datepicker').datepicker();
@@ -5656,16 +5655,6 @@

      this.set_pagetitle(new_title);
    }
  };

  this.toggle_prefer_html = function(checkbox)
  {
    $('#rcmfd_show_images').prop('disabled', !checkbox.checked).val(0);
  };

  this.toggle_preview_pane = function(checkbox)
  {
    $('#rcmfd_preview_pane_mark_read').prop('disabled', !checkbox.checked);
  };

  // display fetched raw headers