Re: [TeXstudio-list] Default settings for line spacing

[Tim H. <hof...@hi...>]

> -----Ursprüngliche Nachricht-----
> Von: Denis Bitouzé [mailto:dbi...@wa...]
> Gesendet: Freitag, 11. Mai 2012 08:49
> 
> And also, changing the Line Spacing should be relegated to Adv. Editor
dialog
> box.
I'd argue about that, it logically belongs to the font and format settings.
Anyway the classification in advanced is not really optimal. Why is
switching off the folding non-advanced, but whitespace display is? If you
say there shouldn't be any advanced options on the editor tab not called
"advanced", maybe we should rethink the concept of an advanced and
non-advanced tab.