Documentation Source Text

Check-in [3cb5fe9998]
Login

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

Overview
Comment:Fix stray characters that managed to get into a commit of the header generator.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 3cb5fe999871ca10f05caf28c3e05bb43b87c818
User & Date: drh 2016-08-29 20:44:25.773
Context
2016-08-30
17:05
Tweak the search engines ranking algorithm slightly. Add a logging database and a way for admins to view the most recent queries. (check-in: 4dd2793f98 user: dan tags: trunk)
16:37
Draft chagnes to the VACUUM documentation to describe the ability to VACUUM attached databases. (Leaf check-in: 08b1963db5 user: drh tags: vacuum-enhancement)
2016-08-29
20:44
Fix stray characters that managed to get into a commit of the header generator. (check-in: 3cb5fe9998 user: drh tags: trunk)
20:37
Make the search box always go to the "search" script in the root of the site, not to "/search". This enables the "search" script to work on /draft. (check-in: bd7343390c user: drh tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to document_header.tcl.
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
          q.value = gMsg
          q.style.color = "#044a64"
          q.style.fontStyle = "italic"
        }
      }
      function hideorshow(btn,obj){
        var x = document.getElementById(obj);
action        var b = document.getElementById(btn);
        if( x.style.display!='none' ){
          x.style.display = 'none';
          b.innerHTML='show';
        }else{
          x.style.display = '';
          b.innerHTML='hide';
        }







|







201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
          q.value = gMsg
          q.style.color = "#044a64"
          q.style.fontStyle = "italic"
        }
      }
      function hideorshow(btn,obj){
        var x = document.getElementById(obj);
        var b = document.getElementById(btn);
        if( x.style.display!='none' ){
          x.style.display = 'none';
          b.innerHTML='show';
        }else{
          x.style.display = '';
          b.innerHTML='hide';
        }