search

SquaredTiki / Dringend-Issues

Public issue tracker for the Dringend app, an iPad dev environment
dringend.cc
16 stars 0 forks source link

Indent with tabs #88

Closed kkebo closed 9 years ago

kkebo commented 9 years ago

I want to use both spaces and tabs as indent. Now, Dringend only supports indent with spaces.

SquaredTiki commented 9 years ago

Apologies for the delay in a response. Would an option to switch between the two and also how many spaces (for that option) be a good solution in your opinion?