Subject: mailing-list for TeXmacs Users
List archive
From : Frank <address@hidden>- To: Massimiliano Gubinelli <address@hidden>
- Cc: address@hidden
- Subject: Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?
- Date: Wed, 29 May 2019 16:42:50 +0200
I run TeXmacs on Debian Linux. Sometimes I notice delays while typing. I am not able to figure out the exact circumstances. Since while typing I am more concentrated on the contents - the delays of TeXmacs are usually shorter than that of my mind to formulate correct formulae. I heard that there were some attempts to migrate TeXmacs to other Scheme compilers/interpreters, but I don't know whether the performance played some role in it. Best wishes, Le 29/05/2019 à 14:51, Massimiliano
Gubinelli a écrit :
None of these optional features should impact
performance in any way. As far as efficiency is concerned, I
feel that TeXmacs is quite fast, the only source of irritation I
have is that the color menu opens up with a small delay, this
maybe could be improved. Also the menu for bold characters in
math mode is a bit too slow, but these are really minor issues.
What is your experience? Which operation feels too slow for
you?
Optimization is always welcome, but it also adds
more code and less maintainable one, so one should carefully
consider if it overall could pay out at the end.
Best
mg
Interesting suggestion. Another
possibility would be to make the focus box
disappear after a short time (or any structure
box). Or just leave the option to the user, like
for the status bars or the menu bars, maybe bound
to some key.
Anyway configuration of the colors
should be possible. I also find the current colors
not quite right on darker backgrounds.
Best
Max
Focus is an
unfamiliar concept to
new users. Moreover,
when writing, one would
generally like to
concentrate on the
content rather than on
the document structure.
Of course,
revealing the document
structure is at times
important, but I don’t
think you need to do
that constantly.
Amir
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 -- Best wishes! Yours, -- Best wishes! Yours, |
- [TeXmacs] A simplified mode that minimizes "focus" for new users?, Amir Michail, 05/21/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Basile Audoly, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Amir Michail, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Amir Michail, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Amir Michail, 05/23/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Ibrahima Fall, 05/23/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Frank, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Frank, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Frank, 05/30/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/30/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Frank, 05/29/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Massimiliano Gubinelli, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Amir Michail, 05/22/2019
- Re: [TeXmacs] A simplified mode that minimizes "focus" for new users?, Basile Audoly, 05/22/2019
Archive powered by MHonArc 2.6.19.