search

fsprojects / zarchive-xamarin-monodevelop-fsharp-addin

(No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio
Other
27 stars 22 forks source link

Fsi margin #287

Closed nosami closed 8 years ago

nosami commented 8 years ago

Implements fsi prompt using the text editor margin so removes a lot of hacks dealing with the old fake prompt.

Also, fixed command history and now the kill and restart commands force quit immediately.