|
Last change
on this file since 256 was
256,
checked in by hendrikvanantwerpen, 13 years ago
|
|
Reworked project structure based on REST interaction and Dojo library. As
soon as this is stable, the old jQueryUI branch can be removed (it's
kept for reference).
|
|
File size:
457 bytes
|
| Line | |
|---|
| 1 | // Load Code formatting widget (supports line numbering, alternating line highlighting, line ranges and loading from remote url): |
|---|
| 2 | dojo.require("dojox.highlight.widget.Code"); |
|---|
| 3 | // Load the languages and pygment renderers for the languages we're displaying... |
|---|
| 4 | dojo.require("dojox.highlight.languages.xml"); |
|---|
| 5 | dojo.require("dojox.highlight.languages.pygments.xml"); |
|---|
| 6 | dojo.require("dojox.highlight.languages.java"); |
|---|
| 7 | dojo.require("dojox.highlight.languages.xquery"); |
|---|
Note: See
TracBrowser
for help on using the repository browser.
