Re: Editor line spacing

Dear LyXians Is there a way of increasing the spacing between the lines in the *editor* (not the finished output)? Many thanks again Nick After some discussion overhere, we are wondering why you would like to do this. To be sure, do you know that if you increase the line spacing in Docu

Editor line spacing

Dear LyXians Is there a way of increasing the spacing between the lines in the *editor* (not the finished output)? Many thanks again Nick