mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Amir,

what is the point of getting of the focus box in a first place? To me, it is both non-invasive and incredibly informative. Without the focus box, it becomes quite difficult to understand TeXmacs' logics.

Basile

Le 21 mai 2019 à 23:58, Amir Michail <address@hidden> a écrit :

Hello,

Why not have a simplified mode that does away with the focus almost entirely?

For example, maybe only show the focus box when the user is making a selection.

Moreover, instead of having focus operations and format operations, just have the latter. If the user wants to format an entire focus environment, then he/she can select it first (using the temporary focus boxes that appear during selection) and then use a format operation.

Amir