Editor line spacing

2008-11-16 Thread Nick Bell

Dear LyXians

Is there a way of increasing the spacing between the lines in the 
*editor* (not the finished output)?


Many thanks again

Nick


Re: Editor line spacing

2008-11-16 Thread Vincent van Ravesteijn



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 
Document Settings, the line spacing in the *editor* will also increase ?


Vincent
--from Berlin--


Editor line spacing

2008-11-16 Thread Nick Bell

Dear LyXians

Is there a way of increasing the spacing between the lines in the 
*editor* (not the finished output)?


Many thanks again

Nick


Re: Editor line spacing

2008-11-16 Thread Vincent van Ravesteijn



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 
Document Settings, the line spacing in the *editor* will also increase ?


Vincent
--from Berlin--


Editor line spacing

2008-11-16 Thread Nick Bell

Dear LyXians

Is there a way of increasing the spacing between the lines in the 
*editor* (not the finished output)?


Many thanks again

Nick


Re: Editor line spacing

2008-11-16 Thread Vincent van Ravesteijn



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 
Document Settings, the line spacing in the *editor* will also increase ?


Vincent
--from Berlin--