[MonoDevelop] F# addin and TabsToSpaces
funnelweb007 at gmail.com
Thu Jul 19 16:38:26 UTC 2012
Anyone got any suggestions on this? Just hoping someone might know
At the moment we have to use the global "tab to spaces" option on all text
On Fri, Jul 13, 2012 at 11:01 AM, Ben <funnelweb007 at gmail.com> wrote:
> We've been working on the F# bindings at
> 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...
More information about the Monodevelop-list