[MonoDevelop] F# addin and TabsToSpaces

[Ben]

We've been working on the F# bindings at
https://github.com/fsharp/fsharpbinding.

Things have progressed and the F# AddIn is now quite nice. It is available
in the AddIn Gallery for MonoDevelop 3.0.  You'll need Mono 2.10.9 on the
Mac, or to build and install github.com/fsharp/fsharp on Linux.

However we're stuck on on small thing: how to get automatic tab-to-space
conversion for the text/x-fsharp mime type. I've tried adding a text style
policy for this mime type but it didn't seem to do the trick. It seems the
text/plain policy is always used.

Ideally we would just force TabsToSpaces to always be false for all F#
files - that's all we need for now. We don't really need a policy, or
adjustable settings, or a GUI panel to adjust the settings.  Indeed, if we
could just find a suitable place in the addin to hack the setting using
     policy.TabsToSpaces <- false

then that would be enough. Unfortunately the StyledOptions has a readonly
TabsToSpaces property.

Any suggestions on how we can fix this?

 -- ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/monodevelop-list/attachments/20120713/73ed9cf7/attachment.html>