[MonoDevelop] F# addin and TabsToSpaces

Mike Krüger mkrueger at xamarin.com
Fri Jul 20 07:57:08 UTC 2012


In monodevelop master I added a property to the text editor/text editor 
data calles 'TabsToSpaces'.
There you can overwrite that option. When adding a text editor extension 
you can do that in the initializing part of it.

I hope it helps - feedback would be appreciated.

> Anyone got any suggestions on this?  Just hoping someone might know 
> something...
> At the moment we have to use the global "tab to spaces" option on all 
> text files.
> thanks
>  -- ben
> On Fri, Jul 13, 2012 at 11:01 AM, Ben <funnelweb007 at gmail.com 
> <mailto: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 <http://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
> _______________________________________________
> Monodevelop-list mailing list
> Monodevelop-list at lists.ximian.com
> http://lists.ximian.com/mailman/listinfo/monodevelop-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ximian.com/pipermail/monodevelop-list/attachments/20120720/b9a389b3/attachment.html>

More information about the Monodevelop-list mailing list