[ jEdit-devel ] editing jedit.java cumbersome - tabsize

[Jarek C. <jar...@po...>]

Tab size is set to 8. I found this idea unwise in connection with a 
common requirement to fit in 80 chars total.

So it seems logical to decrease the tab size. I know I can change it 
while editing the file, but then what I'll see as fitting in 80 chars, 
would not fit on other's settings.

Raw svn diff output will be an issue, if tab size is decreased, but if 
we all decide not to look at the console output, we could make our lifes 
easier.

What are your suggestions?

Jarek