Lagrange [release]

Terminal: Quote border line, icon placement

Wed May 18 15:13:54 2022 +0300

 src/gmdocument.c        | 7 ++++++-
 src/ui/documentwidget.c | 3 ++-
 src/ui/text_simple.c    | 3 ++-
 3 files changed, 10 insertions(+), 3 deletions(-)