annotate WebContent/jscripts/tiny_mce/plugins/searchreplace/searchreplace.htm @ 6:5bb7cc86069c

restlet.jar
author dwinter
date Wed, 14 Mar 2012 16:21:45 +0100
parents 0be9d53a6967
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
2 <html xmlns="http://www.w3.org/1999/xhtml">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
3 <head>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
4 <title>{#searchreplace_dlg.replace_title}</title>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
5 <script type="text/javascript" src="../../tiny_mce_popup.js"></script>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
6 <script type="text/javascript" src="../../utils/mctabs.js"></script>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
7 <script type="text/javascript" src="../../utils/form_utils.js"></script>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
8 <script type="text/javascript" src="js/searchreplace.js"></script>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
9 <link rel="stylesheet" type="text/css" href="css/searchreplace.css" />
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
10 </head>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
11 <body style="display:none;" role="application" aria-labelledby="app_title">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
12 <span id="app_title" style="display:none">{#searchreplace_dlg.replace_title}</span>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
13 <form onsubmit="SearchReplaceDialog.searchNext('none');return false;" action="#">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
14 <div class="tabs">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
15 <ul>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
16 <li id="search_tab" aria-controls="search_panel"><span><a href="javascript:SearchReplaceDialog.switchMode('search');" onmousedown="return false;">{#searchreplace.search_desc}</a></span></li>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
17 <li id="replace_tab" aria-controls="replace_panel"><span><a href="javascript:SearchReplaceDialog.switchMode('replace');" onmousedown="return false;">{#searchreplace_dlg.replace}</a></span></li>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
18 </ul>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
19 </div>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
20
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
21 <div class="panel_wrapper">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
22 <div id="search_panel" class="panel">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
23 <table role="presentation" border="0" cellspacing="0" cellpadding="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
24 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
25 <td><label for="search_panel_searchstring">{#searchreplace_dlg.findwhat}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
26 <td><input type="text" id="search_panel_searchstring" name="search_panel_searchstring" style="width: 200px" aria-required="true" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
27 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
28 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
29 <td colspan="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
30 <table role="presentation" border="0" cellspacing="0" cellpadding="0" class="direction">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
31 <tr role="group" aria-labelledby="search_panel_backwards_label">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
32 <td><label id="search_panel_backwards_label">{#searchreplace_dlg.direction}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
33 <td><input id="search_panel_backwardsu" name="search_panel_backwards" class="radio" type="radio" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
34 <td><label for="search_panel_backwardsu">{#searchreplace_dlg.up}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
35 <td><input id="search_panel_backwardsd" name="search_panel_backwards" class="radio" type="radio" checked="checked" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
36 <td><label for="search_panel_backwardsd">{#searchreplace_dlg.down}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
37 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
38 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
39 </td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
40 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
41 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
42 <td colspan="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
43 <table role="presentation" border="0" cellspacing="0" cellpadding="0">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
44 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
45 <td><input id="search_panel_casesensitivebox" name="search_panel_casesensitivebox" class="checkbox" type="checkbox" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
46 <td><label for="search_panel_casesensitivebox">{#searchreplace_dlg.mcase}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
47 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
48 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
49 </td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
50 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
51 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
52 </div>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
53
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
54 <div id="replace_panel" class="panel">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
55 <table role="presentation" border="0" cellspacing="0" cellpadding="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
56 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
57 <td><label for="replace_panel_searchstring">{#searchreplace_dlg.findwhat}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
58 <td><input type="text" id="replace_panel_searchstring" name="replace_panel_searchstring" style="width: 200px" aria-required="true" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
59 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
60 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
61 <td><label for="replace_panel_replacestring">{#searchreplace_dlg.replacewith}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
62 <td><input type="text" id="replace_panel_replacestring" name="replace_panel_replacestring" style="width: 200px" aria-required="true" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
63 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
64 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
65 <td colspan="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
66 <table role="presentation" border="0" cellspacing="0" cellpadding="0" class="direction">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
67 <tr role="group" aria-labelledby="replace_panel_dir_label">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
68 <td><label id="replace_panel_dir_label">{#searchreplace_dlg.direction}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
69 <td><input id="replace_panel_backwardsu" name="replace_panel_backwards" class="radio" type="radio" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
70 <td><label for="replace_panel_backwardsu">{#searchreplace_dlg.up}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
71 <td><input id="replace_panel_backwardsd" name="replace_panel_backwards" class="radio" type="radio" checked="checked" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
72 <td><label for="replace_panel_backwardsd">{#searchreplace_dlg.down}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
73 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
74 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
75 </td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
76 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
77 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
78 <td colspan="2">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
79 <table role="presentation" border="0" cellspacing="0" cellpadding="0">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
80 <tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
81 <td><input id="replace_panel_casesensitivebox" name="replace_panel_casesensitivebox" class="checkbox" type="checkbox" /></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
82 <td><label for="replace_panel_casesensitivebox">{#searchreplace_dlg.mcase}</label></td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
83 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
84 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
85 </td>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
86 </tr>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
87 </table>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
88 </div>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
89
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
90 </div>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
91
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
92 <div class="mceActionPanel">
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
93 <input type="submit" id="insert" name="insert" value="{#searchreplace_dlg.findnext}" />
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
94 <input type="button" class="button" id="replaceBtn" name="replaceBtn" value="{#searchreplace_dlg.replace}" onclick="SearchReplaceDialog.searchNext('current');" />
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
95 <input type="button" class="button" id="replaceAllBtn" name="replaceAllBtn" value="{#searchreplace_dlg.replaceall}" onclick="SearchReplaceDialog.searchNext('all');" />
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
96 <input type="button" id="cancel" name="cancel" value="{#cancel}" onclick="tinyMCEPopup.close();" />
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
97 </div>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
98 </form>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
99 </body>
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
100 </html>