First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


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


Chronological Thread 
  • 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.

Top of page