enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-22 21:01:37 +03:00
Code Issues Projects Releases Wiki Activity
443 Commits 119 Branches 891 Tags 261 MiB
02de851ed5
Commit Graph

4 Commits

Author SHA1 Message Date
Wojciech Daniło
ff94d3a55b Port display improvements (https://github.com/enso-org/ide/pull/881) 
Original commit: ec5b0e0359
 2020-11-17 07:50:20 +01:00
Wojciech Daniło
9cd6bd94b1 Focus manager (Part 1, internal focus management) (https://github.com/enso-org/ide/pull/838) 
Original commit: db6d2f20b6
 2020-10-20 04:44:35 +02:00
Ara Adkins
0b1d9b22f9 Extract shared libraries to rust-libs (https://github.com/enso-org/ide/pull/828) 
Original commit: ed7760222d
 2020-10-05 11:43:14 +01:00
Adam Obuchowicz
666906fa88 Searcher controller: Filtering suggestions (https://github.com/enso-org/ide/pull/717) 
Original commit: e39878050d
 2020-08-14 12:38:03 +02:00