rip out the line-width slider

New plan:

  • render text across the whole window
  • let people resize the window to the desired line width
  • save window size settings between sessions

Created by  Kartik K. Agaram  on June 30, 2022
YIQYNVD2IG27E6DFAM4CYRA4ETIOGUGCBLBJR4FYE4WBEWPQQOMAC
Change contents