| 1 |
// $Id: plugin_manager_search.js,v 1.1.2.15.2.1 2009/02/01 00:19:52 joshuarogers Exp $ |
// $Id: plugin_manager_search.js,v 1.1.2.15.2.2 2009/02/01 01:07:09 joshuarogers Exp $ |
| 2 |
|
|
| 3 |
// Give us a JSON method to post. |
// Give us a JSON method to post. |
| 4 |
$.postJSON = function(url, data, callback) { |
$.postJSON = function(url, data, callback) { |
| 5 |
$.post(url, data, callback, "json"); |
$.post(url, data, callback, "json"); |
| 6 |
}; |
}; |
| 7 |
|
|
| 8 |
function toggle_button(checkbox) { |
function pm_toggle_button(checkbox) { |
| 9 |
checkbox.parent().parent().parent().toggleClass("pm-term-chooser-selected"); |
checkbox.parent().parent().parent().toggleClass("pm-term-chooser-selected"); |
| 10 |
} |
} |
| 11 |
|
|
| 12 |
|
function pm_check_all() { |
| 13 |
|
} |