|
115
|
1 <?xml version="1.0"?>
|
|
|
2 <?xml-stylesheet href="chrome://navigator/skin/"
|
|
|
3 type="text/css"?>
|
|
|
4 <window xmlns:html="http://www.w3.org/1999/xhtml"
|
|
|
5 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" >
|
|
|
6 <script language="JavaScript">
|
|
|
7 var helpText = new Array();
|
|
|
8 helpText[0] = "'back'-button|Click this button to load the previous image (usually the previous page of a document).";
|
|
|
9 helpText[1] = "'next'-button|Click this button to load the next image (usually the next page of a document).";
|
|
|
10 helpText[2] = "'page'-button|After clicking 'page' you will be prompted for a specific page you want to see.(br)Please note that the numbers entered into the input line refer to digital images, notwithstanding the fact that more than one text page may be on it.";
|
|
|
11 helpText[3] = "'digicat'-button|Click here to open a thumbnailview of the current document (image series).";
|
|
|
12 helpText[4] = "'mark'-button|You can insert marks onto the picture. After clicking 'mark' you can select the location in the image where a numbered mark will appear.(br)Check out 'reference' to communicate these marks (up to 8) to others.";
|
|
|
13 helpText[5] = "'reference'-button|Choose LaTeX or HTML mode to receive a link for the actual (zoomed) picture including marks. 'New HTML' creates references that will open the respective digital object within the Mozilla version of DIGILIB, providing advanced functionality in the sidebar.";
|
|
|
14 helpText[6] = "'zoom area'-button|With 'zoom area' you can zoom into any rectangular field of the current picture.(br)After clicking the button click on the image to determine any corner (for instance topleft), release the mousebutton and move the mouse until the rectangular has the desired size, then click again for fixing it.";
|
|
|
15 helpText[7] = "'zoom point'-button|Click on 'zoom point', then click on the picture. This renders a zoomed picture centered around the selected point.";
|
|
|
16 helpText[8] = "'zoom out'-button|To recover the original unzoomed picture (fitted to the window), click 'zoom out'.(br)Note that marks will be kept.";
|
|
|
17 helpText[9] = "'move to'-button|This button changes the centre of a zoomed picture without changing the zoom-factor.(br)Click on the picture where you want to place the new centre of the image.";
|
|
|
18 helpText[10] = "'scale'-button|By clicking on one of the menu entries you can select the factor the currently displayed picture will be scaled to.(br)Note: scale factor of '1.0' fits the picture right into the working area, while '2.0' makes it twice as high and large.";
|
|
|
19 helpText[11] = "'mirror'-button|Mirrors the image either horizontally or vertically. Click the button and make your choice at the selection menu.";
|
|
|
20 helpText[12] = "'rotate'-button|This function allows you to rotate the image by the angle you specify. Click on the button and enter a rotation angle in absolute degrees into the text box (clockwise)";
|
|
|
21 helpText[13] = "'brightness'-button|The brightness command helps you to adjust the brightness of an image. Click on the button and choose a brightness level at the selection menu.";
|
|
|
22 helpText[14] = "'contrast'-button|The contrast command helps you to adjust the contrast of an image. Click on the button and choose a contrast level at the selection menu.";
|
|
|
23 helpText[15] = "'color'-button|You can change the color values of each of the RGB channels. This can be done eighter by adding/substratcing a defined amount or by multiplying the pixel value by the desired factor.";
|
|
|
24 helpText[16] = "'?'-button|The menu includes various options: activating this context sensitive help, 'Keep area' keeps the current image area when changing to another page, 'Fit GIFs' forces the program to adjust the size of GIF-images to the working area.";
|
|
|
25 helpText[17] = "'metadata'-button|Shows the metadata to the document in the main window.";
|
|
|
26 // boolean variable to eighter show or not show the additional help
|
|
|
27 // change in the menuitem its original mark
|
|
|
28 var showHelp = false;
|
|
|
29 // variable to tell if while changing to another page it should keep the area
|
|
|
30 // change in the menuitem its original mark
|
|
|
31 var keepArea = true;
|
|
|
32 </script>
|
|
|
33 <script language="JavaScript" src="menu.js"></script>
|
|
|
34 <popupset>
|
|
|
35 <popup id="scale_popup">
|
|
|
36 <menuitem label="0.7" oncommand="window.content.scale(0.7);" />
|
|
|
37 <menuitem label="1" oncommand="window.content.scale(1);" />
|
|
|
38 <menuitem label="1.5" oncommand="window.content.scale(1.5);" />
|
|
|
39 <menuitem label="2" oncommand="window.content.scale(2);" />
|
|
|
40 <menuitem label="2.5" oncommand="window.content.scale(2.5);" />
|
|
|
41 <menuitem label="3" oncommand="window.content.scale(3);" />
|
|
|
42 <menuitem label="pixel by pixel" oncommand="window.content.pixelByPixel();" />
|
|
|
43 </popup>
|
|
|
44 </popupset>
|
|
|
45 <popupset>
|
|
|
46 <popup id="reference_popup">
|
|
|
47 <menuitem label="LaTex" oncommand="window.content.ref(0);" />
|
|
|
48 <menuitem label="HTML" oncommand="window.content.ref(1);" />
|
|
|
49 <menuitem label="new HTML" oncommand="window.content.ref(2);" />
|
|
|
50 </popup>
|
|
|
51 </popupset>
|
|
|
52 <popupset>
|
|
|
53 <popup id="mirror_popup">
|
|
|
54 <menuitem label="Horizontal" oncommand="window.content.mirror('h');" />
|
|
|
55 <menuitem label="Vertical" oncommand="window.content.mirror('v');" />
|
|
|
56 </popup>
|
|
|
57 </popupset>
|
|
|
58 <popupset>
|
|
|
59 <popup id="brightness_popup">
|
|
|
60 <menuitem label="very bright" oncommand="window.content.brightness(90);" />
|
|
|
61 <menuitem label="bright" oncommand="window.content.brightness(30);" />
|
|
|
62 <menuitem label="normal" oncommand="window.content.brightness(0);" />
|
|
|
63 <menuitem label="dark" oncommand="window.content.brightness(-30);" />
|
|
|
64 <menuitem label="very dark" oncommand="window.content.brightness(-90);" />
|
|
|
65 </popup>
|
|
|
66 </popupset>
|
|
|
67 <popupset>
|
|
|
68 <popup id="contrast_popup">
|
|
|
69 <menuitem label="much" oncommand="window.content.contrast(0.5);" />
|
|
|
70 <menuitem label="more" oncommand="window.content.contrast(0.2);" />
|
|
|
71 <menuitem label="normal" oncommand="window.content.contrast(0.0);" />
|
|
|
72 <menuitem label="less" oncommand="window.content.contrast(-0.2);" />
|
|
|
73 <menuitem label="little" oncommand="window.content.contrast(-0.5);" />
|
|
|
74 </popup>
|
|
|
75 </popupset>
|
|
|
76 <popupset>
|
|
|
77 <popup id="colors_popup">
|
|
|
78 <menuitem label="add" oncommand="color_add();" />
|
|
|
79 <menuitem label="multiply" oncommand="color_multiply();" />
|
|
|
80 </popup>
|
|
|
81 </popupset>
|
|
|
82 <popupset>
|
|
|
83 <popup id="help_popup">
|
|
|
84 <menuitem label="Contexthelp" type="checkbox" oncommand="changeHelp();"/>
|
|
|
85 <menuitem label="Keep Area" type="checkbox" checked="true" oncommand="keepArea = !keepArea;" />
|
|
|
86 <menuitem label="Fit GIFs" type="checkbox" oncommand="window.content.fitGIFs();" />
|
|
|
87 </popup>
|
|
|
88 </popupset>
|
|
|
89 <hbox>
|
|
|
90 <vbox flex="1" />
|
|
|
91 <vbox>
|
|
|
92 <spacer style="height: 10px" />
|
|
|
93 <hbox>
|
|
|
94 <button label="back" onclick="window.content.backPage(keepArea);" onmouseover="overButton(0)" />
|
|
|
95 <button label="next" onclick="window.content.nextPage(keepArea);" onmouseover="overButton(1)" />
|
|
|
96 </hbox>
|
|
|
97 <button label="page" onclick="window.content.page(keepArea);" onmouseover="overButton(2)" />
|
|
|
98 <button label="digicat" onclick="window.content.digicat();" onmouseover="overButton(3)" />
|
|
|
99 <!-- <button label="metadata" onclick="showMetadata(window.content.location.href);" onmouseover="overButton(17)" /> -->
|
|
|
100 <spacer style="height: 15px" />
|
|
|
101 <button label="mark" onclick="window.content.mark();" onmouseover="overButton(4)" />
|
|
|
102 <button label="reference" popup="reference_popup" onmouseover="overButton(5)" />
|
|
|
103 <spacer style="height: 15px" />
|
|
|
104 <button label="zoom area" onclick="window.content.zoomArea();" onmouseover="overButton(6)" />
|
|
|
105 <button label="zoom point" onclick="window.content.zoomPoint();" onmouseover="overButton(7)" />
|
|
|
106 <button label="zoom out" onclick="window.content.zoomOut();" onmouseover="overButton(8)" />
|
|
|
107 <button label="move to" onclick="window.content.moveTo();" onmouseover="overButton(9)" />
|
|
|
108 <spacer style="height: 15px" />
|
|
|
109 <button label="scale" popup="scale_popup" onmouseover="overButton(10)" />
|
|
|
110 <button label="mirror" popup="mirror_popup" onmouseover="overButton(11)" />
|
|
|
111 <button label="rotate" onclick="rotate();" onmouseover="overButton(12)" />
|
|
|
112 <spacer style="height: 15px" />
|
|
|
113 <button label="brightness" popup="brightness_popup" onmouseover="overButton(13)" />
|
|
|
114 <button label="contrast" popup="contrast_popup" onmouseover="overButton(14)" />
|
|
|
115 <button label="colors" popup="colors_popup" onmouseover="overButton(15)" />
|
|
|
116 <spacer style="height: 15px" />
|
|
|
117 <button label="?" popup="help_popup" onmouseover="overButton(16)" />
|
|
|
118
|
|
|
119 </vbox>
|
|
|
120 <vbox flex="1" />
|
|
|
121 </hbox>
|
|
|
122 </window>
|
