search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Feature Request: Convert Tabs to Spaces #80

Open hwayne opened 5 years ago

hwayne commented 5 years ago

Most other tools and editors seem to expect tabs instead of spaces, so it would help a lot if there was an option to insert tabs as spaces. ie if you set the tab size to 4 and hit tab, it would insert 4 spaces instead.

hwayne commented 5 years ago

I've been wanting to get into core Alloy development, I think this might be a good starting issue for me.

pkriens commented 5 years ago

Should be not that hard though it will require you to dive into Swing :-(

aleksandarmilicevic commented 5 years ago

Alloy* already has such an option. The crux of the implementation is in OurSyntaxWidget.indentUnindentRegion()

Screen Shot 2019-05-29 at 8 52 54 AM
pkriens commented 1 year ago

@aleksandarmilicevic if we already have this issue, can we not just close it?

aleksandarmilicevic commented 1 year ago

What I mentioned only exists in Alloy*.

I linked to because it might be helpful to the person implementing this for Alloy