On 5/8/07, Enrico Tröger enrico.troeger@uvena.de wrote:
On Sat, 28 Apr 2007 13:19:07 +0200, Enrico Tröger enrico.troeger@uvena.de wrote:
On Fri, 27 Apr 2007 14:09:38 -0400, "John Gabriele" jmg3000@gmail.com wrote:
On 4/27/07, Jelle de Jong jelledejong@powercraft.nl wrote:
Enrico Tröger wrote:
He wants to switch the tab width with a shortcut between 4 and 8. I don't know exactly but I guess because he uses different source code files and some are with a tab width of 4 and some with 8. In general, it should't be a problem as long as all indentation is done with tabs.
Exactly, i cot a lot of mixed files with tab with 8 and 4 using a short cut to switch makes my live easier! In my situation it is not possible to just change every file to have the same tab with with a script. So a fast short cut will be ideal.
Sounds like a good solution might be to add a button to the toolbar that aliases the Edit --> Prefs --> Files tab --> New Files: "Tab Width" control.
I don't think so. This would blow up the GUI with a button which is quite seldom used. So, I would prefer to add a shortcut to switch between tab widths which doesn't confuse or annoy people who don't want/need to use it.
Just a little update (to be honest I forgot that a little bit): I will delay the implementation for about two weeks. Reason is that we are going to release a new version and will announce a string freeze. I don't want to add this feature in a hurry and add a couple of new potential bugs shortly before we are releasing. Sorry Jelle, please be (again) patient.
Just wanted to add: when I want to make an update the docbook manual, I have to manually switch the editor to use all tabs. That is, I usually edit using only spaces for indentation, but to edit a doc that uses tabs, I need to go to Edit --> Preferences, and find the two places where tab settings are located (Files tab, "replace tabs by space upon saving"; and Editor tab, "use tabs when inserting whitespace").
Then when I'm done, I need to do those steps again in reverse to get back to my regular work. It's a bit of a pain.
Anyhow, I don't know what your plans are for adding the feature Jelle asked about, but it might be helpful if you were to also consider a solution for easily hopping between:
* indenting (and saving) with spaces and * indenting with tabs (with no conversion to spaces upon save).
Again, it's not awful the way it is now -- just seems like it could be easier. And it might be something easily integrated with the feature Jelle asked about.
By the way, regarding adding stuff to the toolbar: it wouldn't blow up the GUI if you added something, but left it disabled (unchecked in the Preferences --> Toolbar items tab).
---John