wimsdev
BlueGrey
calm
Elegant
Català-Valencià – Catalan
中文 – Chinese (Simplified)
中文 – Chinese (Traditional)
Česky – Czech
Dansk – Danish
Nederlands – Dutch
English – English
Suomi – Finnish
Français – French
Deutsch – German
עברית – Hebrew
हिंदी – Hindi
Magyar – Hungarian
Bahasa Indonesia – Indonesian
Italiano – Italian
日本語 – Japanese
한국어 – Korean
Македонски – Macedonian
मराठी – Marathi
Norsk – Norwegian
Polski – Polish
Português – Portuguese
Português – Portuguese (Brazil)
Русский – Russian
Slovenčina – Slovak
Slovenščina – Slovenian
Español – Spanish
Svenska – Swedish
Türkçe – Turkish
Українська – Ukrainian
Oëzbekcha – Uzbek
Subversion Repositories
wimsdev
(root)
/
trunk
/
wims
/
public_html
/
scripts
/
js
/
external
/
codemirror
/
addon
/
selection/
– Rev 16859
Rev
Show changed files
|
Directory listing
|
RSS feed
Filtering Options
From rev
To rev
Max revs
Search history for
Show All
Rev
Age
Author
Path
Log message
Diff
16859
1116 d 7 h
obado
/trunk/wims/public_html/
[minor/js] Upgrade codemirror from 5.65.2 to 5.65.6
+ add new codemirror themes (3024 + base16)
14283
2130 d 5 h
obado
/trunk/wims/public_html/
[JS] Add some JS libraries :
* CodeMirror (a WYSIWYG code editor with syntax highlighting)
* Skulpt : lets execute some code with javascript
+ Add the associated slibs, thanks to J. Lyotard