patchGNU TeXmacs - Patches: patch #7232, popup menu changes according to...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

patch #7232: popup menu changes according to current mode

Submitter:  Zou Hu <zohooo>
Submitted:  Sun 04 Jul 2010 06:54:38 AM UTC
   
 
Category:  User Interface Action:  Done
Privacy:  Public Assigned to:  vdhoeven
Open/Closed:  Closed Release: 
Fixed Release:  Stable: 

Sun 02 Mar 2014 10:30:16 PM UTC, comment #2: 

In revision 8245, I did the necessary so that we now have two possible popup menus: the usual focus menu (default) and the main menu (when holding Shift or Control).

Joris van der Hoeven <vdhoeven>
Group administrator
Thu 30 Aug 2012 11:27:39 AM UTC, comment #1: 

I think that context dependent popup menus are now provided by the focus-menu. It is however true that the result is often too big and that this has to be improved, but the patch provided can no longer be applied as is. Also, each user will have a very particular idea about what must be present in the menu and what not, so it'll be hard to settle on something...

Miguel de Benito <mdbenito>
Group Member
Sun 04 Jul 2010 06:54:38 AM UTC, original submission:  

This patch make texmacs popup menu change according to current mode. Also, only frequently used items is shown in popup menu.

Although this patch is not so modular, but is simple and only affects one file.

Zou Hu <zohooo>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attached Files
file #21140:  diffs added by ghostwheel (32KiB - application/octet-stream - Includes the changes that where supposed to be there in the prev. In addition, help works better)
file #20890:  patch02.diff added by zohooo (5KiB - text/x-patch)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by mdbenito (Posted a comment)
  • -email is unavailable- added by ghostwheel (Updated the item)
  • -email is unavailable- added by zohooo (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 6 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-03-02 vdhoeven ActionUpdate Done
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed
    2012-08-30 mdbenito ActionNone Update
    2010-08-04 ghostwheel Attached File- Added diffs, #21140
    2010-07-04 zohooo Attached File- Added patch02.diff, #20890

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code