[MonoDevelop] F# addin and TabsToSpaces
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
> At the moment we have to use the global "tab to spaces" option on all
> text files.
> -- 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
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Monodevelop-list