equal
deleted
inserted
replaced
21 f[m + '_panel_backwardsd'].checked = f[lm + '_panel_backwardsd'].checked; |
21 f[m + '_panel_backwardsd'].checked = f[lm + '_panel_backwardsd'].checked; |
22 f[m + '_panel_casesensitivebox'].checked = f[lm + '_panel_casesensitivebox'].checked; |
22 f[m + '_panel_casesensitivebox'].checked = f[lm + '_panel_casesensitivebox'].checked; |
23 } |
23 } |
24 |
24 |
25 mcTabs.displayTab(m + '_tab', m + '_panel'); |
25 mcTabs.displayTab(m + '_tab', m + '_panel'); |
26 document.getElementById("replace_buttons").style.visibility = (m == "replace") ? "visible" : "hidden"; |
26 document.getElementById("replaceBtn").style.display = (m == "replace") ? "inline" : "none"; |
|
27 document.getElementById("replaceAllBtn").style.display = (m == "replace") ? "inline" : "none"; |
27 this.lastMode = m; |
28 this.lastMode = m; |
28 } |
29 } |
29 }, |
30 }, |
30 |
31 |
31 searchNext : function(a) { |
32 searchNext : function(a) { |