Commited3e00e

committed

Merge pull requestfsharp#174 from jpalmer/master

Use Control-D for quit

2 parentsb00fa1d +6b130aa commited3e00eCopy full SHA for ed3e00e

File tree

-5

lines changed

-5

lines changed

Lines changed: 1 addition & 5 deletions

Original file line number	Diff line number	Diff line change
`@@ -444,11 +444,7 @@ type internal ReadLineConsole() =`
`444`	`444`	`change()`
`445`	`445`	`// Control-d`
`446`	`446`	`\|(ConsoleModifiers.Control, '\004')->`
`447`		`-if(input.Length=0)then`
`448`		`- raise<\|new System.IO.EndOfStreamException()`
`449`		`-else`
`450`		`- delete();`
`451`		`- change()`
	`447`	`+ exit0//quit`
`452`	`448`	`\|_->`
`453`	`449`	`// Note: If KeyChar=0, the not a proper char, e.g. it could be part of a multi key-press character,`
`454`	`450`	`// e.g. e-acute is ' and e with the French (Belgium) IME and US Intl KB.`

Comments

(0)