[MonoDevelop] F# addin and TabsToSpaces

Ben 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

 -- ben

On Fri, Jul 13, 2012 at 11:01 AM, Ben <funnelweb007 at gmail.com> wrote:

> 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/20120719/d3aa2dd8/attachment.html>

More information about the Monodevelop-list mailing list