mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-31 06:05:44 +00:00
91 lines
2.6 KiB
XML
91 lines
2.6 KiB
XML
<?xml version="1.0"?>
|
|
<?xml-stylesheet href="EditorDialog.css" type="text/css"?>
|
|
<!DOCTYPE window SYSTEM "findreplacedlog.dtd">
|
|
<window xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
|
|
xmlns:html="http://www.w3.org/TR/REC-html40">
|
|
|
|
<table xmlns="http://www.w3.org/TR/REC-html40">
|
|
<tr>
|
|
<td>
|
|
<table>
|
|
<tr>
|
|
<td>
|
|
<p>Find</p>
|
|
</td>
|
|
<td>
|
|
<input type="text" size="35" length="35" maxlength="255" name="find.findtext" />
|
|
<select size="1" name="find.findrecent">
|
|
<optgroup label="findrecent">
|
|
<option label="recent 1" value="recent 1">1</option>
|
|
<option label="recent 2" value="recent 2">2</option>
|
|
<option label="recent 3" value="recent 3">3</option>
|
|
</optgroup>
|
|
</select>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td>
|
|
<p>Replace</p>
|
|
</td>
|
|
<td>
|
|
<input type="text" size="35" length="35" maxlength="255" name="find.replacetext" />
|
|
<select size="1" name="find.replacerecent">
|
|
<optgroup label="replacerecent">
|
|
<option label="r recent 1" value="r recent 1">A</option>
|
|
<option label="r recent 2" value="r recent 2">B</option>
|
|
<option label="r recent 3" value="r recent 3">C</option>
|
|
</optgroup>
|
|
</select>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td/>
|
|
<td>
|
|
<p>
|
|
<xul:checkbox value="Case Sensitive" />
|
|
Case Sensitive
|
|
</p>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td/>
|
|
<td>
|
|
<p>
|
|
<xul:checkbox value="Search Backwards" />
|
|
Search Backwards
|
|
</p>
|
|
</td>
|
|
</tr>
|
|
|
|
<tr>
|
|
<td/>
|
|
<td>
|
|
<p>
|
|
<xul:checkbox value="Wrap Search" />
|
|
Wrap Search
|
|
</p>
|
|
</td>
|
|
</tr>
|
|
</table>
|
|
</td>
|
|
|
|
<td>
|
|
<input type="button" class="genericbutton" value=" Find " />
|
|
<br/>
|
|
<input type="button" class="genericbutton" value=" Replace " />
|
|
<br/>
|
|
<input type="button" class="genericbutton" value=" Replace & Find " />
|
|
<br/>
|
|
<input type="button" class="genericbutton" value=" Replace All " />
|
|
<br/>
|
|
<input type="button" class="genericbutton" value=" Stop " />
|
|
</td>
|
|
</tr>
|
|
|
|
</table>
|
|
|
|
</window>
|