Dont reindex already indexed files. Yet another bug uncovered by the DateTime fixes.
[beagle.git] / mozilla-extension / content / beaglePrefs.xul
blob22585fa1a8e20c7cfb56f7e45f5bad153c3fb4ef
1 <?xml version="1.0"?>
3 <!DOCTYPE overlay SYSTEM "chrome://beagle/locale/beagle.dtd">
5 <?xml-stylesheet href="chrome://global/skin/global.css" type="text/css"?>
7 <dialog id="beagle-pref"
8 buttons="accept,cancel"
9 ondialogaccept="beaglePrefsSave();"
10 onload="beaglePrefsInit();"
11 persist="screenX screenY"
12 style="width:330px;"
13 title="&beagle.pref.label;"
14 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
16 <script type="application/x-javascript"
17 src="chrome://beagle/content/beaglePrefs.js" />
19 <dialogheader title="&beagle.pref.label;"/>
21 <groupbox>
22 <caption label="General" />
23 <checkbox
24 id="beagle.context.active"
25 label="&beagle.pref.context.active.label;"
26 oncommand="beaglePrefsFlip();"
27 prefattribute="checked"
28 preftype="bool"
29 type="checkbox"
32 <checkbox
33 id="beagle.security.active"
34 label="&beagle.pref.security.active.label;"
35 prefattribute="checked"
36 preftype="bool"
37 type="checkbox"
39 </groupbox>
41 <groupbox>
43 <caption label="&beagle.pref.filter.label;" />
44 <hbox>
45 <button id="beagle.filter.add"
46 label="&beagle.pref.filter.host.add.label;"
47 oncommand="beaglePrefsAddFilter();"/>
48 <button id="beagle.filter.remove"
49 disabled="true"
50 label="&beagle.pref.filter.host.remove.label;"
51 oncommand="beaglePrefsRemoveFilter(); updateFilterRemoveButton();"/>
52 </hbox>
54 <listbox id="beagle.security.filters"
55 onclick="updateFilterRemoveButton();">
56 </listbox>
58 </groupbox>
60 </dialog>