Robert Husák
|
5bee0b3f34
|
Remove CodeMirror PHP dependency
|
2018-01-23 12:00:58 +01:00 |
|
Robert Husák
|
dc7c66e579
|
Add PHP to CodeMirror configuration
|
2018-01-14 18:58:22 +01:00 |
Andrey Shchekin
|
d854372745
|
[gh-76, gh-56, gh-55] Updated to latest Roslyn.
|
2017-09-04 22:20:41 +12:00 |
|
Andrey Shchekin
|
c0efc80ade
|
Added slowUpdateWait event to mirrorsharp.js.
|
2017-08-22 22:37:43 +12:00 |
|
Andrey Shchekin
|
cd2d5283e5
|
[ashmind/SharpLab/#161] Added helpers for F# `--define:`. Removed prerelease flag (closes gh-67).
|
2017-08-20 19:18:51 +12:00 |
|
Andrey Shchekin
|
5c40b3f4a1
|
Multiple improvements for IFastJsonWriter (includes breaking changes). Added Encoding to SourceText.
|
2017-07-23 11:27:47 +12:00 |
|
Andrey Shchekin
|
1a9b853af4
|
[closes gh-74] Closed client-server desync on undo, added first test and replaced jshint with eslint.
|
2017-06-24 16:03:24 +12:00 |
|
Andrey Shchekin
|
9f2ba19bf6
|
[ashmind/SharpLab#129] Added a setText() method to the API (same as setValue(), but normalizes newlines).
|
2017-06-18 01:02:11 +12:00 |
|
Andrey Shchekin
|
579ffb68a6
|
Reduced svgs a bit more.
|
2017-05-27 19:22:26 +12:00 |
|
Andrey Shchekin
|
b995baa9d2
|
[closes gh-69] Removed Bower support (and cleaned up few more things).
|
2017-05-22 21:53:01 +12:00 |
|
Andrey Shchekin
|
883d36858c
|
Language switching fix.
|
2017-05-15 23:03:02 +12:00 |
|
Andrey Shchekin
|
215e22f05b
|
Finalized F# branch.
|
2017-05-15 21:00:00 +12:00 |
|
Andrey Shchekin
|
378e25a462
|
Added basic F# completion support.
|
2017-05-15 10:20:13 +12:00 |
|
Andrey Shchekin
|
e652e24cc3
|
Various fixes.
|
2017-05-14 20:55:22 +12:00 |
|
Andrey Shchekin
|
1a5079ccf4
|
[closes gh-64] Ensured destroy not losing the typed text, and recreate does not unnecessarily override it.
|
2017-05-01 11:28:26 +12:00 |
|
Andrey Shchekin
|
46bcc8f2e9
|
Added comment style to mirrorsharp theme.
|
2017-05-01 11:09:07 +12:00 |
|
Andrey Shchekin
|
a375b5ffd4
|
Corrected default namespaces.
|
2017-03-15 22:49:47 +13:00 |
|
Andrey Shchekin
|
62285a10ee
|
Simplified project naming.
|
2017-03-15 22:38:00 +13:00 |