Fossil

Check-in [1a30da30db]
Login

Check-in [1a30da30db]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Make an exception in the spider protection code for Opera Mini.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 1a30da30db0b2385b5ff7ed8b2a52fa4276181a9
User & Date: joel 2013-09-27 04:08:16.097
Context
2013-09-27
08:52
Disable use of the unloadTcl function on 64-bit Windows, since the underlying MinGW issue does not manifest there. ... (check-in: ba779faf48 user: mistachkin tags: trunk)
07:49
unloadTcl is only needed on Win32, not for Win64 or any other platform. ... (Closed-Leaf check-in: 0013d9ccb6 user: jan.nijtmans tags: win64-unloadTcl)
04:08
Make an exception in the spider protection code for Opera Mini. ... (check-in: 1a30da30db user: joel tags: trunk)
2013-09-26
08:09
Rename the makefile variable BROKEN_MINGW_CMDLINE (not the C define) to more accurately reflect its usage. ... (check-in: 4137f4cda9 user: mistachkin tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/style.c.
︙︙
173
174
175
176
177
178
179







180
181
182
183
184
185
186
187

      @ gebi("a%d(i+1)").href="%s(aHref[i])";
    }
  }
  for(i=0; i<nFormAction; i++){
    @ gebi("form%d(i+1)").action="%s(aFormAction[i])";
  }
  @ }







  if( db_get_boolean("auto-hyperlink-mouseover",0) ){
    /* Require mouse movement prior to activating hyperlinks */
    @ document.getElementsByTagName("body")[0].onmousemove=function(){
    @   setTimeout("setAllHrefs();",%d(nDelay));
    @   this.onmousemove = null;
    @ }
  }else{
    /* Active hyperlinks right away */








>
>
>
>
>
>
>
|








173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194

      @ gebi("a%d(i+1)").href="%s(aHref[i])";
    }
  }
  for(i=0; i<nFormAction; i++){
    @ gebi("form%d(i+1)").action="%s(aFormAction[i])";
  }
  @ }
  if( strglob("*Opera Mini/[1-9]*", P("HTTP_USER_AGENT")) ){
    /* Special case for Opera Mini, which executes JS server-side */
    @ var isOperaMini = Object.prototype.toString.call(window.operamini)
    @                   === "[object OperaMini]";
    @ if( isOperaMini ){
    @   setTimeout("setAllHrefs();",%d(nDelay));
    @ }
  }else if( db_get_boolean("auto-hyperlink-mouseover",0) ){
    /* Require mouse movement prior to activating hyperlinks */
    @ document.getElementsByTagName("body")[0].onmousemove=function(){
    @   setTimeout("setAllHrefs();",%d(nDelay));
    @   this.onmousemove = null;
    @ }
  }else{
    /* Active hyperlinks right away */
︙︙