enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-21 09:31:35 +03:00
Code Issues Projects Releases Wiki Activity
647 Commits 119 Branches 891 Tags 261 MiB
92cb1aabaa
Commit Graph

647 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Michael Mauderer
3fe294187f fix: Avoid crashing when logging without electron context. (https://github.com/enso-org/ide/pull/1170) 
Original commit: 3a0010c867
 2021-02-01 13:47:00 +01:00
Łukasz Olczak
2ef3807aa2 Css comment with issue (https://github.com/enso-org/ide/pull/1123) 
Original commit: b83b25a301
 2021-01-30 19:45:23 +01:00
Wojciech Daniło
029c0df26e Update README.md 
Original commit: 738d19a988
 2021-01-29 13:56:39 +01:00
Mateusz Czapliński
bf3d90539b docs: fix backslash working as escape char (https://github.com/enso-org/ide/pull/1156) 
Original commit: d0437fbd76
 2021-01-28 03:46:17 +01:00
Mateusz Czapliński
f60d23b916 chore: make bug template give better reports (https://github.com/enso-org/ide/pull/1155) 
Original commit: aaa5d85239
 2021-01-27 21:05:09 +01:00
Michael Mauderer
49d39069cc Update to logging. (https://github.com/enso-org/ide/pull/1152) 
Original commit: 3caf86785a
 2021-01-27 13:52:39 +01:00
Mateusz Czapliński
7717fe672e doc: fix "documentation" link (https://github.com/enso-org/ide/pull/1146) 
Original commit: a49b380a67
 2021-01-27 10:51:18 +01:00
Michael Mauderer
f5f7c54297 Implement remote logging. (https://github.com/enso-org/ide/pull/1138) 
Original commit: 7f27db4d76
 2021-01-26 17:52:02 +01:00
Wojciech Daniło
03acf41330 Remove blockmap generation when building electron package. (https://github.com/enso-org/ide/pull/1136) 
Original commit: fb7724cce1
 2021-01-26 10:22:33 +01:00
Wojciech Daniło
4faefd36ce Fixing wasm-pack build (https://github.com/enso-org/ide/pull/1134) 
Original commit: 81c1b90224
 2021-01-22 19:50:44 +01:00
Michael Mauderer
f385523f53 chore+doc: Upgrade wasm pack from 0.8.1 to 0.9.1. (https://github.com/enso-org/ide/pull/1133) 
Original commit: 147c7f2e53
 2021-01-22 17:39:59 +01:00
Michael Mauderer
e6621c68d7 Update build to correctly bundle the engine. (https://github.com/enso-org/ide/pull/1131) 
Original commit: 705840bbc3
 2021-01-22 16:30:52 +01:00
Michael Mauderer
15993dfc51 Upgrade to engine 0.2.1 (https://github.com/enso-org/ide/pull/1130) 
Original commit: d880a40162
 2021-01-22 15:12:44 +01:00
Michael Mauderer
2ca5c63e74 Use bordered windows for the electron app on non-MacOS platforms. (https://github.com/enso-org/ide/pull/1113) 
Original commit: 4fd9734514
 2021-01-22 10:10:23 +01:00
Michael Mauderer
c1d3c3925f Avoid panning jumps when mouse cursor changes html element. (https://github.com/enso-org/ide/pull/1124) 
Original commit: 6f9cc74809
 2021-01-21 15:56:22 +01:00
Michael Mauderer
abb066b989 Enable the watch script to download and use the pre-built project manager. (https://github.com/enso-org/ide/pull/1104) 
Original commit: de5ab78405
 2021-01-21 14:52:57 +01:00
Łukasz Olczak
baa211ebb3 CDN pipeline (https://github.com/enso-org/ide/pull/1091) 
Original commit: 0fccd278ef
 2021-01-18 17:07:50 +01:00
Adam Obuchowicz
ab2985634d Use the newest enso-prelude and enso-logger (https://github.com/enso-org/ide/pull/1112) 
Original commit: e72333f41b
 2021-01-18 09:23:19 +01:00
Adam Obuchowicz
9d9c5356a8 Fix output edge coloring (https://github.com/enso-org/ide/pull/1108) 
Original commit: 70bc8474b1
 2021-01-13 16:51:35 +01:00
Adam Obuchowicz
60a91132e0 Bump ProjectManager version (https://github.com/enso-org/ide/pull/1093) 
Original commit: 642b643443
 2021-01-12 09:09:22 +01:00
Maciej Mikołajek
eb2e3bba7d Bump parser - Copy button & fix indentation in Code Block (https://github.com/enso-org/ide/pull/949) 
Original commit: 4dda675c71
 2020-12-30 14:42:52 +01:00
Wojciech Danilo
1922038096 Fixing ctrl-q bug on Linux. 
Original commit: d3d69b12b1
 2020-12-30 12:05:07 +01:00
Wojciech Danilo
b4d1989a02 Fixing compilation error. 
Original commit: 9337f8920a
 2020-12-30 05:15:13 +01:00
s9ferech
127813d3d9 Crash reporting (https://github.com/enso-org/ide/pull/978) 
Original commit: 0bfe71f331
 2020-12-30 04:58:45 +01:00
Wojciech Daniło
92c8a8c2a5 Refactoring application config management, updating electron setup. (https://github.com/enso-org/ide/pull/1088) 
Original commit: 1f477434b1
 2020-12-30 04:37:51 +01:00
Wojciech Daniło
5d51beae78 Adding backend version info to the electron app. (https://github.com/enso-org/ide/pull/1087) 
Original commit: 6e1f003f75
 2020-12-29 17:05:26 +01:00
Wojciech Daniło
6e99d97661 Fixing bugs, adding new options (https://github.com/enso-org/ide/pull/1086) 
Original commit: bf52d4d3ea
 2020-12-29 14:18:47 +01:00
Wojciech Daniło
a64210b705 Fixing "Improper behavior while trying to reconnect node with arguments" (https://github.com/enso-org/ide/pull/1077) 
Original commit: cbd2760e5c
 2020-12-29 13:50:20 +01:00
Maciej Mikołajek
a2f3025846 Geo_Point popup on hover in Geo_Maps. (https://github.com/enso-org/ide/pull/1076) 
Original commit: 7b14222140
 2020-12-24 05:38:29 +01:00
Wojciech Daniło
89d990c5b3 Expose IDE as a library (https://github.com/enso-org/ide/pull/1080) 
Original commit: b16ac40a3d
 2020-12-24 05:38:01 +01:00
Maciej Mikołajek
6a7bee1776 Fixes documentation text - font and size (https://github.com/enso-org/ide/pull/1040) 
* Font unification

* save state

* up

* up

* maybe border?

* better

* changes

Original commit: 5ef4a8adb4
 2020-12-24 02:22:56 +01:00
Michael Mauderer
671fa4e52c Bundle project manager in electron package. (https://github.com/enso-org/ide/pull/1070) 
Original commit: f5f69d4a10
 2020-12-22 23:14:52 +01:00
Michael Mauderer
f7ea27b0cd Errors on nodes (https://github.com/enso-org/ide/pull/1079) 
Original commit: 570d3759fb
 2020-12-22 22:19:31 +01:00
Adam Obuchowicz
063c028b4c Add option for connecting to Language Server directly (https://github.com/enso-org/ide/pull/1081) 
Also includes a bit of refactoring in initialization code. 

Original commit: 83096aa9ee
 2020-12-22 16:57:24 +01:00
Adam Obuchowicz
47b345fc37 fix: Update edges on node expression updates. (https://github.com/enso-org/ide/pull/1082) 
authored-by: Michael Mauderer <michael.mauderer@enso.org>

Original commit: 7a4b3bdbaf
 2020-12-22 16:00:53 +01:00
Adam Obuchowicz
5cce1c2550 Revert "Geo_Point popup on hover in Geo_Maps. (https://github.com/enso-org/ide/pull/1018)" 
This reverts commit 15c5017f18.


Original commit: 48661c476c
 2020-12-18 15:53:20 +01:00
Maciej Mikołajek
15c5017f18 Geo_Point popup on hover in Geo_Maps. (https://github.com/enso-org/ide/pull/1018) 
* test

* Check

* better

* better

* rev

* rev

* make it visible to which point label is attached

* make it visible to which point label is attached

* better

* better

* better

* better

* better

* better

* done

* prettier

Co-authored-by: Adam Obuchowicz <adam.obuchowicz@luna-lang.org>

Original commit: 3050c9d6fe
 2020-12-18 13:13:28 +01:00
Adam Obuchowicz
cc653f4d50 Examples in Searcher (https://github.com/enso-org/ide/pull/1058) 
Original commit: 42aa8aadff
 2020-12-18 11:56:25 +01:00
Wojciech Daniło
a6eeed41b2 Fixing bugs (https://github.com/enso-org/ide/pull/1066) 
Original commit: 5f62caa584
 2020-12-18 04:12:23 +01:00
Michael Mauderer
6fc52ae10d Avoid changing edit status of project name when selecting it. (https://github.com/enso-org/ide/pull/1057) 
Original commit: 7f7a932933
 2020-12-15 21:07:29 +01:00
Michael Mauderer
d611ceed3c Optimised engine updates (https://github.com/enso-org/ide/pull/1043) 
Adds a high-level optimization to limit changes sent out to the engine. This is achieved by applying a pre- and postfix trimming to source code changes.

Original commit: 4f33aba8d9
 2020-12-14 10:38:10 +01:00
Wojciech Daniło
78b5e161a5 Refactoring theme management (https://github.com/enso-org/ide/pull/1059) 
Original commit: 256092bbe9
 2020-12-11 18:32:22 +01:00
Wojciech Daniło
3d0f7bbd73 Fixing themes synchronisation (https://github.com/enso-org/ide/pull/1047) 
Original commit: e7785deb80
 2020-12-11 18:25:31 +01:00
Wojciech Daniło
145bb079a4 Fixing output ports (https://github.com/enso-org/ide/pull/1035) 
Original commit: e61c8c98ff
 2020-12-10 15:25:06 +01:00
Adam Obuchowicz
645fda2ac0 Revert "fix+doc: Avoid changing edit status of project name when selecting it. Clarify what the selection status actually means. (https://github.com/enso-org/ide/pull/1014)" 
This reverts commit 7bd2cae9ea.


Original commit: 050dba8e41
 2020-12-10 11:36:09 +01:00
Michael Mauderer
883e4586fd Avoid updating positions of nodes during type updates. (https://github.com/enso-org/ide/pull/1033) 
Original commit: c6cce97757
 2020-12-09 12:09:21 +01:00
Adam Obuchowicz
8bfc5e9a08 Increase PM timeout (https://github.com/enso-org/ide/pull/1037) 
Original commit: b9bc336c05
 2020-12-08 13:19:31 +01:00
Michael Mauderer
7bd2cae9ea fix+doc: Avoid changing edit status of project name when selecting it. Clarify what the selection status actually means. (https://github.com/enso-org/ide/pull/1014) 
Original commit: 8723ba4453
 2020-12-08 10:02:16 +01:00
Adam Obuchowicz
ccd93ba658 Install missing components of Engine (https://github.com/enso-org/ide/pull/1032) 
Original commit: 8ee75e99a1
 2020-12-07 11:00:35 +01:00
Maciej Mikołajek
7b558d9fda Cut shortcut for text area. (https://github.com/enso-org/ide/pull/1016) 
Original commit: 652401d6e9
 2020-12-04 07:48:36 +01:00