2
* Code Syntax Highlighter.
4
* Copyright (C) 2004 Alex Gorbatchev.
5
* http://www.dreamprojections.com/syntaxhighlighter/
7
* This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General
8
* Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option)
11
* This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied
12
* warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
15
* You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to
16
* the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
35
AboutDialog : '<html><head><title>About...</title></head><body class="dp-about"><table cellspacing="0"><tr><td class="copy"><p class="title">dp.SyntaxHighlighter</div><div class="para">Version: {V}</p><p><a href="http://www.dreamprojections.com/syntaxhighlighter/?ref=about" target="_blank">http://www.dreamprojections.com/SyntaxHighlighter</a></p>©2004-2005 Alex Gorbatchev. All right reserved.</td></tr><tr><td class="footer"><input type="button" class="close" value="OK" onClick="window.close()"/></td></tr></table></body></html>'
38
dp.SyntaxHighlighter = dp.sh;
44
dp.sh.Toolbar.Commands = {
46
label: '+ expand source',
47
check: function(highlighter) { return highlighter.collapse; },
48
func: function(sender, highlighter)
50
sender.parentNode.removeChild(sender);
51
highlighter.div.className = highlighter.div.className.replace('collapsed', '');
55
// opens a new windows and puts the original unformatted source code inside.
58
func: function(sender, highlighter)
60
var code = highlighter.originalCode.replace(/</g, '<');
61
var wnd = window.open('', '_blank', 'width=750, height=400, location=0, resizable=1, menubar=0, scrollbars=1');
62
wnd.document.write('<textarea style="width:99%;height:99%">' + code + '</textarea>');
67
// copies the original source code in to the clipboard (IE only)
69
label: 'copy to clipboard',
70
check: function() { return window.clipboardData != null; },
71
func: function(sender, highlighter)
73
window.clipboardData.setData('text', highlighter.originalCode);
74
alert('The code is in your clipboard now');
78
// creates an invisible iframe, puts the original source code inside and prints it
81
func: function(sender, highlighter)
83
var iframe = document.createElement('IFRAME');
86
// this hides the iframe
87
iframe.style.cssText = 'position:absolute;width:0px;height:0px;left:-500px;top:-500px;';
89
document.body.appendChild(iframe);
90
doc = iframe.contentWindow.document;
92
dp.sh.Utils.CopyStyles(doc, window.document);
93
doc.write('<div class="' + highlighter.div.className.replace('collapsed', '') + ' printing">' + highlighter.div.innerHTML + '</div>');
96
iframe.contentWindow.focus();
97
iframe.contentWindow.print();
101
document.body.removeChild(iframe);
107
func: function(highlighter)
109
var wnd = window.open('', '_blank', 'dialog,width=300,height=150,scrollbars=0');
110
var doc = wnd.document;
112
dp.sh.Utils.CopyStyles(doc, window.document);
114
doc.write(dp.sh.Strings.AboutDialog.replace('{V}', dp.sh.Version));
121
// creates a <div /> with all toolbar links
122
dp.sh.Toolbar.Create = function(highlighter)
124
var div = document.createElement('DIV');
126
div.className = 'tools';
128
for(var name in dp.sh.Toolbar.Commands)
130
var cmd = dp.sh.Toolbar.Commands[name];
132
if(cmd.check != null && !cmd.check(highlighter))
135
div.innerHTML += '<a href="#" onclick="dp.sh.Toolbar.Command(\'' + name + '\',this);return false;">' + cmd.label + '</a>';
141
// executes toolbar command by name
142
dp.sh.Toolbar.Command = function(name, sender)
146
while(n != null && n.className.indexOf('dp-highlighter') == -1)
150
dp.sh.Toolbar.Commands[name].func(sender, n.highlighter);
153
// copies all <link rel="stylesheet" /> from 'target' window to 'dest'
154
dp.sh.Utils.CopyStyles = function(destDoc, sourceDoc)
156
var links = sourceDoc.getElementsByTagName('link');
158
for(var i = 0; i < links.length; i++)
159
if(links[i].rel.toLowerCase() == 'stylesheet')
160
destDoc.write('<link type="text/css" rel="stylesheet" href="' + links[i].href + '"></link>');
164
// Common reusable regular expressions
167
MultiLineCComments : new RegExp('/\\*[\\s\\S]*?\\*/', 'gm'),
168
SingleLineCComments : new RegExp('//.*$', 'gm'),
169
SingleLinePerlComments : new RegExp('#.*$', 'gm'),
170
DoubleQuotedString : new RegExp('"(?:\\.|(\\\\\\")|[^\\""])*"','g'),
171
SingleQuotedString : new RegExp("'(?:\\.|(\\\\\\')|[^\\''])*'", 'g')
177
dp.sh.Match = function(value, index, css)
181
this.length = value.length;
186
// Highlighter object
188
dp.sh.Highlighter = function()
190
this.addGutter = true;
191
this.addControls = true;
192
this.collapse = false;
193
this.tabsToSpaces = true;
194
this.wrapColumn = 80;
195
this.showColumns = true;
198
// static callback for the match sorting
199
dp.sh.Highlighter.SortCallback = function(m1, m2)
201
// sort matches by index first
202
if(m1.index < m2.index)
204
else if(m1.index > m2.index)
208
// if index is the same, sort by length
209
if(m1.length < m2.length)
211
else if(m1.length > m2.length)
217
dp.sh.Highlighter.prototype.CreateElement = function(name)
219
var result = document.createElement(name);
220
result.highlighter = this;
224
// gets a list of all matches for a given regular expression
225
dp.sh.Highlighter.prototype.GetMatches = function(regex, css)
230
while((match = regex.exec(this.code)) != null)
231
this.matches[this.matches.length] = new dp.sh.Match(match[0], match.index, css);
234
dp.sh.Highlighter.prototype.AddBit = function(str, css)
236
if(str == null || str.length == 0)
239
var span = this.CreateElement('SPAN');
241
str = str.replace(/&/g, '&');
242
str = str.replace(/ /g, ' ');
243
str = str.replace(/</g, '<');
244
str = str.replace(/\n/gm, ' <br>');
246
// when adding a piece of code, check to see if it has line breaks in it
247
// and if it does, wrap individual line breaks with span tags
250
var regex = new RegExp('<br>', 'gi');
254
var lines = str.split(' <br>');
258
for(var i = 0; i < lines.length; i++)
260
span = this.CreateElement('SPAN');
261
span.className = css;
262
span.innerHTML = lines[i];
264
this.div.appendChild(span);
266
// don't add a <BR> for the last line
267
if(i + 1 < lines.length)
268
this.div.appendChild(this.CreateElement('BR'));
273
span.className = css;
274
span.innerHTML = str;
275
this.div.appendChild(span);
280
span.innerHTML = str;
281
this.div.appendChild(span);
285
// checks if one match is inside any other match
286
dp.sh.Highlighter.prototype.IsInside = function(match)
288
if(match == null || match.length == 0)
291
for(var i = 0; i < this.matches.length; i++)
293
var c = this.matches[i];
298
if((match.index > c.index) && (match.index < c.index + c.length))
305
dp.sh.Highlighter.prototype.ProcessRegexList = function()
307
for(var i = 0; i < this.regexList.length; i++)
308
this.GetMatches(this.regexList[i].regex, this.regexList[i].css);
311
dp.sh.Highlighter.prototype.ProcessSmartTabs = function(code)
313
var lines = code.split('\n');
318
// This function inserts specified amount of spaces in the string
319
// where a tab is while removing that given tab.
320
function InsertSpaces(line, pos, count)
322
var left = line.substr(0, pos);
323
var right = line.substr(pos + 1, line.length); // pos + 1 will get rid of the tab
326
for(var i = 0; i < count; i++)
329
return left + spaces + right;
332
// This function process one line for 'smart tabs'
333
function ProcessLine(line, tabSize)
335
if(line.indexOf(tab) == -1)
340
while((pos = line.indexOf(tab)) != -1)
342
// This is pretty much all there is to the 'smart tabs' logic.
343
// Based on the position within the line and size of a tab,
344
// calculate the amount of spaces we need to insert.
345
var spaces = tabSize - pos % tabSize;
347
line = InsertSpaces(line, pos, spaces);
353
// Go through all the lines and do the 'smart tabs' magic.
354
for(var i = 0; i < lines.length; i++)
355
result += ProcessLine(lines[i], tabSize) + '\n';
360
dp.sh.Highlighter.prototype.SwitchToList = function()
362
// thanks to Lachlan Donald from SitePoint.com for this <br/> tag fix.
363
var html = this.div.innerHTML.replace(/<(br)\/?>/gi, '\n');
364
var lines = html.split('\n');
366
if(this.addControls == true)
367
this.bar.appendChild(dp.sh.Toolbar.Create(this));
372
var div = this.CreateElement('div');
373
var columns = this.CreateElement('div');
379
if(i % showEvery == 0)
382
i += (i + '').length;
386
div.innerHTML += '·';
391
columns.className = 'columns';
392
columns.appendChild(div);
393
this.bar.appendChild(columns);
396
for(var i = 0, lineIndex = this.firstLine; i < lines.length - 1; i++, lineIndex++)
398
var li = this.CreateElement('LI');
399
var span = this.CreateElement('SPAN');
401
// uses .line1 and .line2 css styles for alternating lines
402
li.className = (i % 2 == 0) ? 'alt' : '';
403
span.innerHTML = lines[i] + ' ';
405
li.appendChild(span);
406
this.ol.appendChild(li);
409
this.div.innerHTML = '';
412
dp.sh.Highlighter.prototype.Highlight = function(code)
416
return str.replace(/^\s*(.*?)[\s\n]*$/g, '$1');
421
return str.replace(/\n*$/, '').replace(/^\n*/, '');
424
function Unindent(str)
426
var lines = str.split('\n');
427
var indents = new Array();
428
var regex = new RegExp('^\\s*', 'g');
431
// go through every line and check for common number of indents
432
for(var i = 0; i < lines.length && min > 0; i++)
434
if(Trim(lines[i]).length == 0)
437
var matches = regex.exec(lines[i]);
439
if(matches != null && matches.length > 0)
440
min = Math.min(matches[0].length, min);
443
// trim minimum common number of white space from the begining of every line
445
for(var i = 0; i < lines.length; i++)
446
lines[i] = lines[i].substr(min);
448
return lines.join('\n');
451
// This function returns a portions of the string from pos1 to pos2 inclusive
452
function Copy(string, pos1, pos2)
454
return string.substr(pos1, pos2 - pos1);
459
this.originalCode = code;
460
this.code = Chop(Unindent(code));
461
this.div = this.CreateElement('DIV');
462
this.bar = this.CreateElement('DIV');
463
this.ol = this.CreateElement('OL');
464
this.matches = new Array();
466
this.div.className = 'dp-highlighter';
467
this.div.highlighter = this;
469
this.bar.className = 'bar';
471
// set the first line
472
this.ol.start = this.firstLine;
474
if(this.CssClass != null)
475
this.ol.className = this.CssClass;
478
this.div.className += ' collapsed';
480
// replace tabs with spaces
481
if(this.tabsToSpaces == true)
482
this.code = this.ProcessSmartTabs(this.code);
484
this.ProcessRegexList();
486
// if no matches found, add entire code as plain text
487
if(this.matches.length == 0)
489
this.AddBit(this.code, null);
491
this.div.appendChild(this.ol);
496
this.matches = this.matches.sort(dp.sh.Highlighter.SortCallback);
498
// The following loop checks to see if any of the matches are inside
499
// of other matches. This process would get rid of highligted strings
500
// inside comments, keywords inside strings and so on.
501
for(var i = 0; i < this.matches.length; i++)
502
if(this.IsInside(this.matches[i]))
503
this.matches[i] = null;
505
// Finally, go through the final list of matches and pull the all
506
// together adding everything in between that isn't a match.
507
for(var i = 0; i < this.matches.length; i++)
509
var match = this.matches[i];
511
if(match == null || match.length == 0)
514
this.AddBit(Copy(this.code, pos, match.index), null);
515
this.AddBit(match.value, match.css);
517
pos = match.index + match.length;
520
this.AddBit(this.code.substr(pos), null);
523
this.div.appendChild(this.bar);
524
this.div.appendChild(this.ol);
527
dp.sh.Highlighter.prototype.GetKeywords = function(str)
529
return '\\b' + str.replace(/ /g, '\\b|\\b') + '\\b';
532
// highlightes all elements identified by name and gets source code from specified property
533
dp.sh.HighlightAll = function(name, showGutter /* optional */, showControls /* optional */, collapseAll /* optional */, firstLine /* optional */, showColumns /* optional */)
539
for(var i = 0; i < a.length; i++)
544
if(typeof(a[i]) == 'string' && a[i] != '')
547
if(typeof(a[i]) == 'object' && a[i].value != '')
548
return a[i].value + '';
554
function IsOptionSet(value, list)
556
for(var i = 0; i < list.length; i++)
563
function GetOptionValue(name, list, defaultValue)
565
var regex = new RegExp('^' + name + '\\[(\\w+)\\]$', 'gi');
568
for(var i = 0; i < list.length; i++)
569
if((matches = regex.exec(list[i])) != null)
575
var elements = document.getElementsByName(name);
576
var highlighter = null;
577
var registered = new Object();
578
var propertyName = 'value';
580
// if no code blocks found, leave
584
// register all brushes
585
for(var brush in dp.sh.Brushes)
587
var aliases = dp.sh.Brushes[brush].Aliases;
592
for(var i = 0; i < aliases.length; i++)
593
registered[aliases[i]] = brush;
596
for(var i = 0; i < elements.length; i++)
598
var element = elements[i];
599
var options = FindValue(
600
element.attributes['class'], element.className,
601
element.attributes['language'], element.language
608
options = options.split(':');
610
language = options[0].toLowerCase();
612
if(registered[language] == null)
615
// instantiate a brush
616
highlighter = new dp.sh.Brushes[registered[language]]();
618
// hide the original element
619
element.style.display = 'none';
621
highlighter.addGutter = (showGutter == null) ? !IsOptionSet('nogutter', options) : showGutter;
622
highlighter.addControls = (showControls == null) ? !IsOptionSet('nocontrols', options) : showControls;
623
highlighter.collapse = (collapseAll == null) ? IsOptionSet('collapse', options) : collapseAll;
624
highlighter.showColumns = (showColumns == null) ? IsOptionSet('showcolumns', options) : showColumns;
626
// first line idea comes from Andrew Collington, thanks!
627
highlighter.firstLine = (firstLine == null) ? parseInt(GetOptionValue('firstline', options, 1)) : firstLine;
629
highlighter.Highlight(element[propertyName]);
631
element.parentNode.insertBefore(highlighter.div, element);
added
removed
docs/scipy_tutorial/Scripts/shCore.uncompressed.js
