search

Frege / eclipse-plugin

The eclipse plugin for frege, codename fregIDE
31 stars 6 forks source link

Tab inserts tabs. #6

Closed muhuk closed 9 years ago

muhuk commented 9 years ago

Tab inserts spaces, in Preferences -> Frege is checked. (And it's red with a white background.)

The TAB key is still inserting tabs instead of spaces. I didn't change anything in my project settings, except for activating the Frege builder (via context menu).

I also changed the font to Monospace. (I just reset Frege settings and tried again, I still get \ts)

Could you please help me with this?

Ingo60 commented 9 years ago

Please see the wiki page "Beware of Tabs" for a procedure that used to work for me.

muhuk commented 9 years ago

Thanks again! I think it worked after only doing the IMP preferences (1st step). Closing this.