forked fromfsharp/fsharp
- Notifications
You must be signed in to change notification settings - Fork0
Commitcd9f3de
committed
[fsharpi]: add kill-to-end-of-line (control-k), fix control-p and control-n (F# uses decimals, not octals), and make control-d delete char when not at the end
1 parent6c3c810 commitcd9f3de
1 file changed
+16
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
344 | 344 | | |
345 | 345 | | |
346 | 346 | | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
347 | 352 | | |
348 | 353 | | |
349 | 354 | | |
| |||
425 | 430 | | |
426 | 431 | | |
427 | 432 | | |
| 433 | + | |
| 434 | + | |
| 435 | + | |
| 436 | + | |
428 | 437 | | |
429 | | - | |
| 438 | + | |
430 | 439 | | |
431 | 440 | | |
432 | 441 | | |
433 | | - | |
| 442 | + | |
434 | 443 | | |
435 | 444 | | |
436 | 445 | | |
437 | 446 | | |
438 | | - | |
| 447 | + | |
| 448 | + | |
| 449 | + | |
| 450 | + | |
| 451 | + | |
439 | 452 | | |
440 | 453 | | |
441 | 454 | | |
| |||
0 commit comments
Comments
(0)