Mercurial > hg > digilib-old

annotate xul/annota/annota.xul @ 125:bf6d9b7a77d4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Annotation Tool to integrate in chrome sidebar
author engler
date Wed, 25 Jun 2003 15:39:38 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
125
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
1 <?xml version="1.0"?>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
2
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
3 <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
4
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
5 <window id="example-window" title="Example 5.1.1"
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
6 xmlns:html="http://www.w3.org/1999/xhtml"
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
7 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
8 onload="setTreeDirectory()">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
9 <toolbox flex="1">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
10 <script type="application/x-javascript" src="chrome://jslib/content/jslib.js" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
11 <script language="JavaScript" src="annota.js"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
12 <script language="JavaScript" src="rdfds.js"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
13 <menubar id="sample-menubar">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
14 <menu id="file-menu" label="File">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
15 <menupopup id="file-popup">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
16 <menuitem label="Save" onclick="file_save()" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
17 </menupopup>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
18 </menu>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
19 <menu id="edit-menu" label="Options">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
20 <menupopup id="edit-popup">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
21 <menuitem id="local" label="Local" type="radio" name="location" checked="true" onclick="file_local()" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
22 <menuitem id="annotaDB" label="Annota DB" type="radio" name="location" onclick="file_annotaDB()" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
23 <menuseparator/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
24 <menuitem id="tool_path" label="Tool URL" onclick="show_dialog('tool path')" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
25 <menuitem id="annotations_path" label="Path to annotations" onclick="file_open()" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
26 <menuseparator/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
27 <menuitem id="save_options" label="Save Options" onclick="setProfile()" />
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
28 </menupopup>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
29 </menu>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
30 </menubar>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
31 </toolbox>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
32 <vbox flex="100">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
33 <tree id="file_tree" flex="1" datasources="rdf:files" ref="file:///" ondblclick="tree_click()">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
34
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
35 <treecols id="cols">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
36 <treecol id="name" label="Name" primary="true" flex="1"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
37 <treecol id="url" label="URL" hidden="true" flex="1"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
38 </treecols>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
39
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
40 <template>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
41
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
42 <rule>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
43 <treechildren flex="1" >
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
44 <treeitem uri="rdf:*" persist="open">
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
45 <treerow>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
46 <treecell label="rdf:http://home.netscape.com/NC-rdf#Name"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
47 <treecell label="rdf:http://home.netscape.com/NC-rdf#URL"/>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
48 </treerow>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
49 </treeitem>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
50 </treechildren>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
51 </rule>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
52
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
53 </template>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
54 </tree>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
55
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
56 </vbox>
bf6d9b7a77d4 Annotation Tool to integrate in chrome sidebar
engler
parents:
diff changeset
57 </window>