-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathindex.html
More file actions
133 lines (128 loc) · 8.29 KB
/
index.html
File metadata and controls
133 lines (128 loc) · 8.29 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
<!DOCTYPE html>
<html>
<head>
<!-- Tell IE we want as standard conform a behavior as possible! -->
<meta http-equiv="X-UA-Compatible" content="IE=Edge">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="viewport" content="width=800, initial-scale=1.0, maximum-scale=10.0">
<link rel="stylesheet" type="text/css" href="scripts/style/base/jquery.ui.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/base/jquery.ui.resizable.css" />
<!-- font that contains most of the characters we need -->
<link rel="stylesheet" type="text/css" href="/static/fonts/andika/Andika.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/corpusshell.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/cr.css"/>
<link rel="stylesheet" type="text/css" href="scripts/style/virtual-keyboard.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/sampleText.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/lingFeature.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/glossary.css" />
<link rel="stylesheet" type="text/css" href="scripts/style/fcs-kwic.css" />
<!-- jQuery 1.8.x (3) -->
<!--<script type="text/javascript" src="scripts/js/jquery/jquery.js"></script>-->
<!--<script type="text/javascript" src="scripts/js/jquery/jquery.min.js"></script>-->
<!-- jQuery UI 1.8.x (24) -->
<!--<script type="text/javascript" src="scripts/js/jquery/jquery-ui.js"></script>-->
<!--<script type="text/javascript" src="scripts/js/jquery/jquery-ui.min.js"></script>-->
<!-- jQuery 1.10.x -->
<script type="text/javascript" src="scripts/js/jquery/jquery-1.10.2.min.js"></script>
<script type="text/javascript" src="scripts/js/jquery/jquery-ui-1.10.4.min.js"></script>
<script type="text/javascript" src="scripts/js/jquery/jquery-migrate-1.2.1.js"></script>
<script type="text/javascript" src="scripts/js/json.js"></script>
<!-- A library for accessing and manipulating URIs -->
<script type="text/javascript" src="scripts/js/URI.js"></script>
<!-- A javascript library for manipulating the browser history including made up
history entries and modifications of the current state/URL -->
<script type="text/javascript" src="scripts/js/jquery/jquery.history.js"></script>
<!-- A mouse wheel support plugin -->
<script type="text/javascript" src="scripts/js/jquery/jquery.mousewheel.min.js"></script>
<!-- A plugin for manuipulating selections in textarea and input type text. Caret manipulation
can be donn by selecting a range of 0 -->
<script type="text/javascript" src="scripts/js/jquery/jquery.selection.js"></script>
<!-- jQuery plugin that provides special handling for special IE 8 and IE 9 CORS behavior -->
<script type="text/javascript" src="scripts/js/jquery/jquery.xdomainrequest.min.js"></script>
<!-- A jQuery plugin that maps touch events to mouse events for jQuery ui -->
<script type="text/javascript" src="scripts/js/jquery/jquery.ui.touch-punch.min.js"></script>
<!-- Openlayers for creating map views using Google Maps, Openstreetmap or other map providers -->
<!-- Enable this if you don't want or cannot compile Openlayers to one file
<script type="text/javascript" src="scripts/js/openlayers/lib/OpenLayers.js"></script> -->
<!-- For the compiled version of OpenLaysers.js. E. g. using
cd build
python.exe .\build.py -c closure full
Would use google closure-compiler from http://dl.google.com/closure-compiler/compiler-latest.zip -->
<script type="text/javascript" src="scripts/js/openlayers/build/OpenLayers.js"></script>
<!-- ACE (Ajax.org Code Editor) for displaying code (editing?), mostly XML, with comfort -->
<!-- created using
npm install
node .\Makefile.dryice.js -nc -s
renamed ace-min.js ace-packed.js -->
<script type="text/javascript" src="scripts/js/ace-packed.js"></script>
<!-- JS API for Google Maps -->
<script src="http://maps.google.com/maps/api/js?v=3&sensor=false"></script>
<!-- corpus_shell code -->
<!-- basic parameters: URL of this page and url of the AJAX provider switch -->
<script type="text/javascript" src="scripts/js/params.js"></script>
<!-- static default replacement for corpusshell.config.php, last updated 2013-07-26 -->
<script type="text/javascript" src="scripts/js/corpusshell.config.js"></script>
<!-- dynamic configuration of available targets. This php script returns javascript.
The ICLTT version lives at http://corpus3.aac.ac.at/cs2/corpus_shell/scripts/js/corpusshell.config.php. -->
<!--<script type="text/javascript" src="http://corpus3.aac.ac.at/vicav2/corpus_shell/scripts/js/corpusshell.config.php"></script>-->
<script type="text/javascript" src="scripts/js/corpusshell.config.php"></script>
<!--<script type="text/javascript" src="scripts/js/corpusshell.config.php"></script>-->
<script type="text/javascript" src="scripts/js/virtual-keyboard.js"></script>
<script type="text/javascript" src="scripts/js/profilemanager.js"></script>
<script type="text/javascript" src="scripts/js/panelmanager.js"></script>
<script type="text/javascript" src="scripts/js/ressourcemanager.js"></script>
<script type="text/javascript" src="scripts/js/panel.js"></script>
<script type="text/javascript" src="scripts/js/mappanel.js"></script>
<script type="text/javascript" src="scripts/js/xmlpanel.js"></script>
<script type="text/javascript" src="scripts/js/bookreaderpanel.js"></script>
<script type="text/javascript" src="scripts/js/HTMLOnDemandLoader.js"></script>
<script type="text/javascript" src="scripts/js/corpusshell.js"></script>
<title>ICLTT Corpus Shell</title>
</head>
<body>
<div id="sidebar">
<table class="sidebar">
<tr>
<td class="sidebar">
<h3>ICLTT Corpus Shell</h3>
<div style="padding: 10px;" id="searchbuttons">
<span class="sidebar">New search panel</span>
</div>
<div style="padding: 10px;" id="openpanels">
<span class="sidebar" id="TogglePanelListButton">Show panel list</span>
</div>
<div style="padding: 10px;" id="profilebuttons">
<span class="sidebar" id="profileload">Load selected profile</span>
<span class="sidebar" id="profiledel" style="margin-top: 5px;">Delete selected profile</span>
<span class="sidebar" id="profilesave" style="margin-top: 10px;">Save current profile as ...</span>
<span class="sidebar" id="profilenew" style="margin-top: 5px;">Create new profile</span>
<input type="text" class="searchstring" id="newprofilename" style="margin: 5px 0px;"/>
<span class="sidebar" id="profilerefresh" style="margin-top: 10px;">Refresh user profiles</span>
</div>
<div style="padding: 10px;" id="indexes">
<!--
<a href="#" onclick="RefreshIndexes();" class="sidebar" id="RefreshIndexesButton">Refresh indexes</a>
<a href="#" onclick="LoadIndexCache();" class="sidebar" id="LoadIndexesButton">Load indexes</a>
-->
<span class="sidebar" id="ShowIndexesButton">Show indexes</span>
</div>
<div style="padding: 10px;" id="userdata">
<span style="color: #000000; width: 100%;">Link to your profiles: </span> <br/>
<input style="width: 100%;" type="text" value="" id="userid" onclick="this.select();"/>
</div>
</td>
<td class="sidebartoggle">
<img id="sidebaricon" src="scripts/style/img/sidebargrip.left.png" />
</td>
</tr>
</table>
</div>
<div id="messagebox">
</div>
<div class="demo" id="mainpanel">
<div id="snaptarget" class="ui-widget-header">
<!-- The dynamically generated content of this page is inserted here at runtime.-->
</div>
</div>
</body>
</html>