84
84
< td class ="td2 "> < span id ="count "> </ span > </ td >
85
85
< td class ="td3 " nowrap > < span id ="time "> </ span > </ td >
86
86
< td class ="td4 " nowrap >
87
- < select id ="select " style ="border: none; ">
88
- < option value ="1 "> LEMME STRICT</ option >
89
- < option value ="2 "> LEMME MOYEN</ option >
90
- < option value ="3 " selected > LEMME TOTAL</ option >
91
- < option value ="4 "> CORPUS</ option >
87
+ < select onchange =" get(document.getElementById('usergreek').value) " id ="select " style ="border: none; ">
88
+ < option value ="1 "> ① LEMME STRICT</ option >
89
+ < option value ="2 "> ② LEMME MOYEN</ option >
90
+ < option value ="3 " selected > ③ LEMME TOTAL</ option >
91
+ < option value ="4 "> ④ CORPUS</ option >
92
92
</ select >
93
93
</ td >
94
94
< td class ="td4 "> < button onclick ="sup() "> SUP</ button > </ td >
95
95
</ tr >
96
96
</ table >
97
97
98
98
99
- < div id ="main "> </ div >
99
+ < div id ="main ">
100
+ < pre style ="font-size:1.4em; ">
101
+ ⓘ Programme de recherche Bailly comprenant 110 628 lignes.
102
+
103
+ Touche du "clavier" disponible :
104
+ ① LEMME STRICT
105
+ ② LEMME MOYEN
106
+ ③ LEMME TOTAL
107
+ ④ CORPUS
108
+
109
+ ① Le lemme doit être égal au mot cherché.
110
+ ② Le lemme doit être supérieur de 2 caractères maximum.
111
+ ③ Recherche totale en lemmes.
112
+ ④ Recherche totale en lemmes et en corpus avec surlignage.
113
+
114
+ Ȼ Domaine public, accessible sans internet :
115
+ < a href ="https://github.com/nouveautestament/dictionnaire "> https://github.com/nouveautestament/dictionnaire</ a >
116
+ </ pre >
117
+ </ div >
100
118
101
119
102
120
</ body >
103
121
104
122
< script >
105
123
106
-
107
124
function sup ( )
108
125
{
109
126
document . getElementById ( "select" ) . value = 4
110
127
usergreek = document . getElementById ( "usergreek" ) . value
111
128
112
- if ( url = window . location . href . split ( "#" ) [ 1 ] )
113
- {
114
- usergreek = decodeURI ( url ) ;
115
- get ( usergreek )
116
- }
117
- else if ( usergreek != "" )
129
+ if ( usergreek != "" )
118
130
{
119
131
get ( usergreek )
120
132
}
192
204
{
193
205
194
206
207
+ if ( usergreek != "" && usergreek != " " )
208
+ {
209
+
195
210
start_t = new Date ( ) . getTime ( ) ;
196
211
find_type = document . getElementById ( "select" ) . value
197
212
document . getElementById ( "main" ) . innerHTML = ""
310
325
end_t = new Date ( ) . getTime ( ) ;
311
326
time = end_t - start_t ;
312
327
document . getElementById ( 'time' ) . textContent = time + " ms"
313
-
314
-
328
+ }
329
+ else
330
+ {
331
+ document . getElementById ( "main" ) . innerHTML = `<pre style="font-size:1.4em;">
332
+ ⓘ Programme de recherche Bailly comprenant 110 628 lignes.
333
+
334
+ Touche du "clavier" disponible :
335
+ ① LEMME STRICT
336
+ ② LEMME MOYEN
337
+ ③ LEMME TOTAL
338
+ ④ CORPUS
339
+
340
+ ① Le lemme doit être égal au mot cherché.
341
+ ② Le lemme doit être supérieur de 2 caractères maximum.
342
+ ③ Recherche totale en lemmes.
343
+ ④ Recherche totale en lemmes et en corpus avec surlignage.
344
+
345
+ Ȼ Domaine public, accessible sans internet :
346
+ <a href="https://github.com/nouveautestament/dictionnaire">https://github.com/nouveautestament/dictionnaire</a>
347
+ </pre>`
348
+
349
+ }
350
+
315
351
316
352
}
317
353
318
354
if ( url = window . location . href . split ( "#" ) [ 1 ] )
319
355
{
320
356
usergreek = decodeURI ( url ) ;
357
+ document . getElementById ( "usergreek" ) . value = usergreek
321
358
get ( usergreek )
322
359
}
323
360
361
+
362
+ document . onkeydown = checkKey ;
363
+ function checkKey ( e )
364
+ {
365
+ e = e || window . event ;
366
+
367
+ if ( document . activeElement . id != "usergreek" )
368
+ {
369
+ if ( e . keyCode == '97' ) //1
370
+ {
371
+ document . getElementById ( "select" ) . value = 1
372
+ usergreek = document . getElementById ( "usergreek" ) . value
373
+ if ( usergreek != "" ) { get ( usergreek ) }
374
+ }
375
+ else if ( e . keyCode == '98' ) //1
376
+ {
377
+ document . getElementById ( "select" ) . value = 2
378
+ usergreek = document . getElementById ( "usergreek" ) . value
379
+ if ( usergreek != "" ) { get ( usergreek ) }
380
+ }
381
+ else if ( e . keyCode == '99' ) //1
382
+ {
383
+ document . getElementById ( "select" ) . value = 3
384
+ usergreek = document . getElementById ( "usergreek" ) . value
385
+ if ( usergreek != "" ) { get ( usergreek ) }
386
+ }
387
+ else if ( e . keyCode == '100' ) //1
388
+ {
389
+ document . getElementById ( "select" ) . value = 4
390
+ usergreek = document . getElementById ( "usergreek" ) . value
391
+ if ( usergreek != "" ) { get ( usergreek ) }
392
+ }
393
+ }
394
+ }
395
+
324
396
</ script >
325
397
326
398
</ html >
0 commit comments