TiddlyWiki.org

Changeset 91

Show
Ignore:
Timestamp:
11/04/06 22:09:23 (2 years ago)
Author:
DevonJones
Message:

TiddlyWiki 2.0.08

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • Trunk/core/tiddlywiki.html

    r90 r91  
    11<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> 
    22<script type="text/javascript"> 
    3 var version = {major: 2, minor: 0, revision: 7, date: new Date("Mar 31, 2006"), extensions: {}}; 
     3var version = {major: 2, minor: 0, revision: 8, date: new Date("Apr 7, 2006"), extensions: {}}; 
    44</script> 
    55<!-- 
    6 TiddlyWiki 2.0.7 by Jeremy Ruston, (jeremy [at] osmosoft [dot] com) 
     6TiddlyWiki 2.0.8 by Jeremy Ruston, (jeremy [at] osmosoft [dot] com) 
    77 
    88Copyright (c) Osmosoft Limited 2004-2006 
     
    669669{ 
    670670        name: "rule", 
    671         match: "^----$\\n?", 
     671        match: "^----+$\\n?", 
    672672        handler: function(w) 
    673673        { 
     
    13901390config.macros.search.onClick = function(e) 
    13911391{ 
    1392         doSearch(this.nextSibling); 
     1392        config.macros.search.doSearch(this.nextSibling); 
    13931393        return false; 
    13941394} 
     
    14701470{ 
    14711471        var theList = createTiddlyElement(place,"ul"); 
    1472         if(params[0] && store.tiddlerExists(params[0])) 
    1473                 tiddler = store.getTiddler(params[0]); 
    1474         theList.setAttribute("title",this.tooltip.format([tiddler.title])); 
    1475         var tagged = store.getTaggedTiddlers(tiddler.title); 
     1472        var title = ""; 
     1473        if(tiddler instanceof Tiddler) 
     1474        title = tiddler.title; 
     1475        if(params[0]) 
     1476        title = params[0]; 
     1477        theList.setAttribute("title",this.tooltip.format([title])); 
     1478        var tagged = store.getTaggedTiddlers(title); 
    14761479        var prompt = tagged.length == 0 ? this.labelNotTag : this.label; 
    1477         createTiddlyElement(theList,"li",null,"listTitle",prompt.format([tiddler.title])); 
     1480        createTiddlyElement(theList,"li",null,"listTitle",prompt.format([title])); 
    14781481        for(var t=0; t<tagged.length; t++) 
    14791482                createTiddlyLink(createTiddlyElement(theList,"li"),tagged[t].title,true); 
     
    43384341} 
    43394342 
     4343// Return whether an entry exists in an array 
     4344Array.prototype.contains = function(item) 
     4345{ 
     4346    return this.find(item) != null; 
     4347}; 
     4348 
     4349// Return whether one of a list of values exists in an array 
     4350Array.prototype.containsAny = function(items) 
     4351{ 
     4352    for(var i=0; i<items.length; i++) 
     4353        if (this.contains(items[i])) 
     4354            return true; 
     4355    return false; 
     4356}; 
     4357 
     4358// Return wheter all of a list of values exists in an array 
     4359Array.prototype.containsAll = function(items) 
     4360{ 
     4361    for (var i = 0; i<items.length; i++) 
     4362        if (!this.contains(items[i])) 
     4363            return false; 
     4364    return true; 
     4365}; 
     4366 
    43404367// Push a new value into an array only if it is not already present in the array. If the optional unique parameter is false, it reverts to a normal push 
    43414368Array.prototype.pushUnique = function(item,unique)