Is there a way to fractionally increase the spacing of lines in a tkinter text widget?
I\'d like to space my text at, say, 1.2 * font size to enable the user to adjus
