#190 Configurable indentation (hard vs. soft tabs) - Kod

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

#190 new

Configurable indentation (hard vs. soft tabs)

Reported by Brendan | January 21st, 2011 @ 06:25 AM

What I did: While editing a Python source file that was created in a different text editor (with tab indentation), I pressed enter at the end of a line. Kod auto-indented the new line with tab characters to match the previous line. I pressed 'tab' to indent the new line and the cursor did not move.

What I expected to happen: I expected the current line to be indented one more tab stop.

What actually happened: Two spaces were inserted at the beginning of the line. Because the line already had tabs, the spaces were invisibly added without adjusting the tab stops and the cursor remained in the same location.

Version of Kod: Kod 0.0.3 beta

I don't want to stir up a tabs vs. spaces debate, but most text editors for coding configure options for hard vs. soft tabs, and number of spaces in the case of soft tabs. That would be useful. (I realize that this ticket is similar, but it sounds different enough from what happened in my case that I created this ticket.)

Comments and changes to this ticket

You flagged this item as spam.
Lara October 16th, 2020 @ 01:32 PM
Awesome Content!! Thank for providing excellent information. Actually quite helpful data accessible here. If you are looking for assignment help then you can visit our site....Realme Mobile Price in BD
You flagged this item as spam.
TipTop October 18th, 2020 @ 09:53 AM
Check here the latest WhatsApp Group Link
You flagged this item as spam.
Sourabh111111 October 19th, 2020 @ 09:34 PM
Hey, I really like this blog and it was very helpful for me to thank you so much. Also, check out our blog. MX Player Pro Mod APK
You flagged this item as spam.
Ella Mcconnell October 23rd, 2020 @ 11:27 AM
McAfee does completely protect and secure your computer and data from the infections, malware, etc.Visit : mcafee.com/activate
You flagged this item as spam.
john russo October 24th, 2020 @ 06:09 AM
Awesome Content!! Thank for providing excellent information. Actually quite helpful data accessible here. If you are looking for assignment help then you can visit our site.

When Is Easter Days Until Christmas Daylight Savings Time Days Until 2021 When is Memorial Day
You flagged this item as spam.
chris roger October 24th, 2020 @ 11:15 AM
Webroot.com/safe to opt best security for your all digital devices. No one can deny the fact that Internet is our primary need today and devices connected with internet are always in high risk of virus attacks.
Webroot.com/safe
You flagged this item as spam.
chris roger October 24th, 2020 @ 11:16 AM
Webroot geek squad download can be easily done from webroot com/safe . currently days we tend to all area unit mistreatment device to finish our digital task i.e. Shopping, Education, Banking etc. while not protection our devices area unit may be on high risk. Webroot antivirus is one in all the simplest code to safeguard all digital devices one will get additional details on www.webroot.com secureanywhere.
Webroot geek squad download
You flagged this item as spam.
chris roger October 24th, 2020 @ 11:17 AM
www.norton.com/setup – The digital world is mediated through the internet, and it is the main source of different information shared on the internet. In addition to these things, the Internet is also the source of various viruses and online scams.
www.norton.com/setup
You flagged this item as spam.
Halley Roberts October 26th, 2020 @ 10:12 AM
Great post! thankYyou for sharing this post. We are looking who are facing orbi setup issue during orbi configure. If you don’t know how to do setup orbi or how to resolve error than contact us to resolve your issue. For more information visit our website.
https://routerfixiya.com/orbi-setup/

« Previous 1 2 3 4 5 6 7 8 9 Next »

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.