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/
– Rev 16863
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
16863
1111 d 23 h
obado
/trunk/wims/public_html/scripts/js/external/codemirror/addon/
[minor/js] move wrongly placed codemirror plugins "edit/fullscreen" in "display/fullscreen"
16859
1112 d 17 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
1202 d 17 h
obado
/trunk/wims/public_html/
[js] Upgrade codemirror to 5.65.2
Tested OK on:
* H4/programming/pixelart.fr
* H4/programming/oefechpython.fr
15152
1849 d 21 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
2126 d 15 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