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
/
codemirror.js
– Rev 18249
Rev
Show changed files
|
Details
|
Compare with Previous
|
Blame
|
RSS feed
Filtering Options
From rev
To rev
Max revs
Search history for
Show All
Rev
Age
Author
Path
Log message
Diff
18249
384 d 15 h
obado
/trunk/wims/public_html/scripts/js/external/codemirror/
Upgrade CodeMirror "5.65.13" to "5.65.16";
17702
756 d 20 h
obado
/trunk/wims/public_html/
Upgrade codemirror to 5.65.13 + add 3 codemirror themes
16859
1113 d 15 h
obado
/trunk/wims/public_html/
[minor/js] Upgrade codemirror from 5.65.2 to 5.65.6
+ add new codemirror themes (3024 + base16)
16493
1203 d 15 h
obado
/trunk/wims/public_html/
[js] Upgrade codemirror to 5.65.2
Tested OK on:
* H4/programming/pixelart.fr
* H4/programming/oefechpython.fr
15332
1777 d 19 h
obado
/trunk/wims/public_html/
[JS] Upgrade some external libs :
* Codemirror 5.54->5.57
* Skulpt -> 1.1.0
* TinyMCE -> 5.1.5 -> 5.4.2
* JSXGraph 0.99.7 -> 1.1.0
15152
1850 d 19 h
obado
/trunk/wims/public_html/
[JS] Upgrade some 3rd party libraries :
* CodeMirror 5.48.4 => 5.54
* CodeMirror : add neat + zenburn themes
* what-input v5.2.7 => v5.2.10
* jquery 3.4.1 => 3.5.1
* marked 0.8 => 1.1.0
14283
2127 d 13 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