language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-03 05:54:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
2296 commits 42 branches 95 tags 21 MiB
Commit graph

7 commits

Author SHA1 Message Date
Cai BingJun
3df666e064 fix bug on windows 2023-02-03 10:40:32 +08:00
GreasrySlug
281ca62be5 update: feature flag 2023-02-02 14:38:09 +09:00
GreasrySlug
abff062d90 fix: output position to col 0 2023-02-02 13:56:52 +09:00
GreasrySlug
7d88cb9541 add: vm struct for auto indent 
Indents are important, so force them to be
For this purpose, added the struct to classify
and handle block kind
 2023-01-31 09:35:17 +09:00
GreasrySlug
6dd71f12e9 add: paste function using each OS command 2023-01-31 09:29:49 +09:00
GreasrySlug
49ca99f572 fix: #26 
Arrow keys could not be used on Linux
so, add REPL input handling by `crossterm`
Improvement of detailed usability
- possible to use arrow keys on Linux
- Cursor shape change block to line
- Ctrl+c is disable
- Ctrl+z is the exit key command
 2023-01-31 09:12:33 +09:00
Shunsuke Shibayama
a127564b31 Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
Renamed from compiler/erg_common/stdin.rs (Browse further)