/[webpac]/trunk2/eurovoc/abecedno.html
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Diff of /trunk2/eurovoc/abecedno.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 546 by dpavlin, Tue Oct 26 18:59:38 2004 UTC revision 551 by dpavlin, Tue Oct 26 22:32:42 2004 UTC
# Line 5  Line 5 
5          <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>          <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
6          <link rel="stylesheet" href="eurovoc.css" type="text/css">          <link rel="stylesheet" href="eurovoc.css" type="text/css">
7    
8  <script type="text/javascript" src="js/bfilter.js"></script>          <script type="text/javascript" src="js/bfilter.js"></script>
9  <script type="text/javascript" src="js/popup.js"></script>          <script type="text/javascript" src="js/popup.js"></script>
10  <script type="text/javascript" src="js/load_js.js"></script>          <script type="text/javascript" src="js/load_js.js"></script>
11  <script type="text/javascript" src="js/cookies.js"></script>          <script type="text/javascript" src="js/cookies.js"></script>
12  <script type="text/javascript" src="js/l2_unescape.js"></script>          <script type="text/javascript" src="js/l2_unescape.js"></script>
13  <script type="text/javascript" src="js/unac.js"></script>          <script type="text/javascript" src="js/unac.js"></script>
14  <script type="text/javascript">          <script type="text/javascript" src="js/clear_last_search.js"></script>
15            <script type="text/javascript">
16  // <!--  // <!--
17    
18  var lang2thes = {  var lang2thes = {
# Line 32  function myfilter() { Line 33  function myfilter() {
33  //      self.document.getElementById('textfilter').select();  //      self.document.getElementById('textfilter').select();
34          self.document.myfilter = new BFilter(headlines);          self.document.myfilter = new BFilter(headlines);
35    
36            // define some regexps
37            self.document.myfilter.star_regex = new RegExp(/ *\* */);
38            self.document.myfilter.htmlent_regex = new RegExp(/(&[a-z][a-z]*;)/i);
39    
40            self.document.myfilter.text_ent = function (str) {
41                    if (str.match(this.htmlent_regex)) {
42                            var e = self.document.createElement("span");
43                            e.innerHTML = str;
44                            return e;
45                    } else {
46                            return self.document.createTextNode(str);
47                    }
48            }
49    
50          self.document.myfilter.result = function (arr) {          self.document.myfilter.result = function (arr) {
51                  var r_div = element_id('results');                  var r_div = element_id('results');
52                  if (r_div) {                  if (r_div) {
# Line 40  function myfilter() { Line 55  function myfilter() {
55                          var pic = null;                          var pic = null;
56                                                    
57                          e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]);                          e.setAttribute("href","hijerarhija.html?o="+arr[1]+"#mfn"+arr[1]);
58                          var regex = new RegExp(/ *\* */);                          if (arr[0].match(this.star_regex)) {
59                          if (arr[0].match(regex)) {                                  e.appendChild(this.text_ent(arr[2].replace(this.star_regex,' ')));
                                 e.appendChild(self.document.createTextNode(arr[2].replace(regex,' ')));  
60                                  pic = self.document.createElement("img");                                  pic = self.document.createElement("img");
61                                  pic.src = 'img/crovoc.png';                                  pic.src = 'img/crovoc.png';
62                                  pic.border = 0;                                  pic.border = 0;
63                                  e.appendChild(pic);                                  e.appendChild(pic);
64                          } else {                          } else {
65                                  e.appendChild(self.document.createTextNode(arr[2]));                                  e.appendChild(this.text_ent(arr[2]));
66                          }                          }
67                          li.appendChild(e);                          li.appendChild(e);
68    
# Line 103  function myfilter() { Line 117  function myfilter() {
117                  var el = this.element_id("status");                  var el = this.element_id("status");
118                  el.innerHTML = html+status+"\n";                  el.innerHTML = html+status+"\n";
119          }          }
120    
121            // time timeout to 500ms
122            self.document.myfilter.timeout = 500;
123  }  }
124    
125  function load_lang(lang) {  function load_lang(lang) {
# Line 128  function load_lang(lang) { Line 145  function load_lang(lang) {
145    
146  function do_filter(filter) {  function do_filter(filter) {
147          element_id('status').innerHTML = "Pretraživanje u tijeku...";          element_id('status').innerHTML = "Pretraživanje u tijeku...";
148            set_cookie('w2_lastsearch', filter);
149          var f = l2_unescape(filter);          var f = l2_unescape(filter);
150          f = f.substr(0,2) + unac(f.substr(2,f.length-2));          f = f.substr(0,2) + unac(f.substr(2,f.length-2));
151          if (self.document.myfilter) self.document.myfilter.filter(f);          if (self.document.myfilter) self.document.myfilter.filter(f);
# Line 317  function select_option(value,text,select Line 335  function select_option(value,text,select
335   </div>   </div>
336  </div>  </div>
337    
338  <form method="get" onsubmit="return false;" action="?">  <form id="filterform" method="get" onsubmit="return false;" action="?" >
339  <div class="filters">  <div class="filters">
340    <script type="text/javascript">    <script type="text/javascript">
341          // <!--          // <!--
# Line 327  function select_option(value,text,select Line 345  function select_option(value,text,select
345          select_option("fr","Francuski",lang);          select_option("fr","Francuski",lang);
346          select_option("ge","Njemački",lang);          select_option("ge","Njemački",lang);
347          document.write('</select>');          document.write('</select>');
348    
349            document.write('<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onkeyup="do_filter(this.value);" value="'+get_cookie('w2_lastsearch')+'"/>');
350          // -->          // -->
351    </script>    </script>
   
         <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onkeyup="do_filter(this.value);" />  
352          <!-- this button is strictly for looks -->          <!-- this button is strictly for looks -->
353          <input class="filters" value="filter" type="button" disabled="true"/>          <input class="filters" value="filter" type="button" disabled="true"/>
354            <input class="submit" type="button" value="Obriši !" onClick="javascript:element_id('results').innerHTML = ''; self.document.myfilter.show_status(); return clear_last_search('filterform','textfilter');"/><br/>
355  </div>  </div>
356  </form>  </form>
357    
Legend:
Removed from v.546  
changed lines
  Added in v.551
  ViewVC Help
Powered by ViewVC 1.1.26