On May 22, 2019, at 1:52 AM, Basile Audoly <address@hidden> wrote: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
Archive powered by MHonArc 2.6.19.