Skip to Content.

Sympa Menu

texmacs-users - Why not allow resizing of the focus box with the mouse?

List Options Menu

Subject: mailing-list for TeXmacs Users

List archive

Why not allow resizing of the focus box with the mouse?

From: Amir Michail <address@hidden>
To: texmacs-users <address@hidden>
Subject: Why not allow resizing of the focus box with the mouse?
Date: Fri, 12 Mar 2021 19:30:14 -0500

Hello,

Do you think such resizing would be useful?

Note that it may result in document tree nodes being split/merged.

Amir

Why not allow resizing of the focus box with the mouse?, Amir Michail, 03/13/2021

Archive powered by MHonArc 2.6.19.