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.