|
a/options.html |
|
b/options.html |
|
... |
|
... |
| 32 |
background-color: #F0F0F0;
|
32 |
background-color: #F0F0F0;
|
| 33 |
}
|
33 |
}
|
| 34 |
|
34 |
|
| 35 |
#options
|
35 |
#options
|
| 36 |
{
|
36 |
{
|
| 37 |
width: 337px;
|
37 |
width: 600px;
|
| 38 |
margin: auto;
|
38 |
margin: auto;
|
| 39 |
padding: 5px;
|
39 |
padding: 5px;
|
| 40 |
border: 1px solid #808080;
|
40 |
border: 1px solid #808080;
|
| 41 |
font-family: "Segoe UI","Helvetica Neue",Ubuntu,Arial;
|
41 |
font-family: "Segoe UI","Helvetica Neue",Ubuntu,Arial;
|
| 42 |
font-size: 12px;
|
42 |
font-size: 12px;
|
|
... |
|
... |
| 59 |
{
|
59 |
{
|
| 60 |
margin: 0px 3px 4px 2px;
|
60 |
margin: 0px 3px 4px 2px;
|
| 61 |
padding: 1px 1px 1px 2px;
|
61 |
padding: 1px 1px 1px 2px;
|
| 62 |
border: 1px solid #C0C0C0;
|
62 |
border: 1px solid #C0C0C0;
|
| 63 |
}
|
63 |
}
|
|
|
64 |
|
|
|
65 |
table
|
| 64 |
|
66 |
{
|
|
|
67 |
margin: 0px 3px 4px 2px;
|
|
|
68 |
padding: 1px 1px 1px 2px;
|
|
|
69 |
width: 100%;
|
|
|
70 |
border-collapse: collapse;
|
|
|
71 |
}
|
|
|
72 |
table, th, td
|
|
|
73 |
{
|
|
|
74 |
border: 1px solid #C0C0C0;
|
|
|
75 |
}
|
|
|
76 |
th
|
|
|
77 |
{
|
|
|
78 |
height: 20px;
|
|
|
79 |
}
|
|
|
80 |
caption
|
|
|
81 |
{
|
|
|
82 |
font-weight: bold;
|
|
|
83 |
}
|
|
|
84 |
|
|
|
85 |
#include-button-delete, #exclude-button-delete
|
|
|
86 |
{
|
|
|
87 |
margin-bottom: 10px;
|
|
|
88 |
}
|
|
|
89 |
#include-table-add
|
|
|
90 |
{
|
|
|
91 |
margin-bottom: 30px;
|
|
|
92 |
}
|
|
|
93 |
|
| 65 |
#options-tabbar button
|
94 |
#options-tabbar button
|
| 66 |
{
|
95 |
{
|
| 67 |
display: inline-block;
|
96 |
display: inline-block;
|
| 68 |
margin: 0px -1px;
|
97 |
margin: 0px -1px;
|
| 69 |
padding: 1px 6px;
|
98 |
padding: 1px 6px;
|
|
... |
|
... |
| 182 |
|
211 |
|
| 183 |
<div>
|
212 |
<div>
|
| 184 |
|
213 |
|
| 185 |
<div id="options-title">Recoll Options</div>
|
214 |
<div id="options-title">Recoll Options</div>
|
| 186 |
|
215 |
|
| 187 |
<form id="options-autosave">
|
216 |
<form id="options-auto">
|
| 188 |
<fieldset>
|
217 |
<fieldset>
|
| 189 |
<legend> Automatic Action </legend>
|
218 |
<legend> Automatic Action </legend>
|
| 190 |
<div>
|
219 |
<div>
|
| 191 |
<input id="options-autosave" type="checkbox"/><label for="options-autosave">Automatically index pages</label>
|
220 |
<input id="options-autosave" type="checkbox"/><label for="options-autosave">Automatically index pages</label>
|
| 192 |
</div>
|
221 |
</div>
|
| 193 |
<div>
|
222 |
<div>
|
| 194 |
<input id="options-httpsalso"
|
223 |
<input id="options-httpsalso"
|
| 195 |
type="checkbox"/><label for="options-httpalso">Also do it for pages with secure content (https)</label>
|
224 |
type="checkbox"/><label for="options-httpalso">Also do it for pages with secure content (https)</label>
|
| 196 |
</div>
|
225 |
</div>
|
|
|
226 |
</fieldset>
|
|
|
227 |
</form>
|
|
|
228 |
|
|
|
229 |
<form id="options-url">
|
|
|
230 |
<fieldset>
|
|
|
231 |
<legend> URL selection </legend>
|
|
|
232 |
<div>
|
|
|
233 |
<input id="options-conflict-dosave"
|
|
|
234 |
type="checkbox"/><label for="options-conflict-dosave">Save
|
|
|
235 |
when both rules sets match</label>
|
|
|
236 |
</div>
|
|
|
237 |
<div>
|
|
|
238 |
<input id="options-nomatch-dosave"
|
|
|
239 |
type="checkbox"/><label for="options-nomatch-dosave">Save
|
|
|
240 |
when no rules set match</label>
|
|
|
241 |
</div>
|
|
|
242 |
|
|
|
243 |
<table id="options-url-include">
|
|
|
244 |
</table>
|
|
|
245 |
|
|
|
246 |
<button id="include-button-delete">Delete selected</button>
|
|
|
247 |
|
|
|
248 |
<table id="include-table-add">
|
|
|
249 |
<tr><th>Name</th><th>Pattern</th><th>Pattern Type</th></tr>
|
|
|
250 |
<tr>
|
|
|
251 |
<td><input id="include-input-name" type="text"></td>
|
|
|
252 |
<td><input id="include-input-value" type="text"></td>
|
|
|
253 |
<td>
|
|
|
254 |
<select id="include-select-type">
|
|
|
255 |
<option value="domain">Domain</option>
|
|
|
256 |
<option value="wildcard">Wildcard</option>
|
|
|
257 |
<option value="regexp">RegExp</option>
|
|
|
258 |
</select>
|
|
|
259 |
</td>
|
|
|
260 |
<td><button id="include-button-add">Add</button></td>
|
|
|
261 |
</tr>
|
|
|
262 |
</table>
|
|
|
263 |
|
|
|
264 |
|
|
|
265 |
<table id="options-url-exclude">
|
|
|
266 |
</table>
|
|
|
267 |
<button id="exclude-button-delete">Delete selected</button>
|
|
|
268 |
|
|
|
269 |
<table id="exclude-table-add">
|
|
|
270 |
<tr><th>Name</th><th>Pattern</th><th>Pattern Type</th></tr>
|
|
|
271 |
<tr>
|
|
|
272 |
<td><input id="exclude-input-name" type="text"></td>
|
|
|
273 |
<td><input id="exclude-input-value" type="text"></td>
|
|
|
274 |
<td>
|
|
|
275 |
<select id="exclude-select-type">
|
|
|
276 |
<option value="domain">Domain</option>
|
|
|
277 |
<option value="wildcard">Wildcard</option>
|
|
|
278 |
<option value="regexp">RegExp</option>
|
|
|
279 |
</select>
|
|
|
280 |
</td>
|
|
|
281 |
<td><button id="exclude-button-add">Add</button></td>
|
|
|
282 |
</tr>
|
|
|
283 |
</table>
|
|
|
284 |
|
|
|
285 |
|
| 197 |
</fieldset>
|
286 |
</fieldset>
|
| 198 |
</form>
|
287 |
</form>
|
| 199 |
|
288 |
|
| 200 |
<form>
|
289 |
<form>
|
| 201 |
<fieldset>
|
290 |
<fieldset>
|