Well, the line spacing in the current editor did work until recently, and now it does not.  I remain puzzled as to why this is not working, and why the capabilities of the current editor seem to appear and vanish from day to day. ... View more